Search results

Comment not properly ignored in the PROOF file (and -I option ignored)

Status: Open.

#41 In marijnheule/drat-trim;

· sducousso opened on Feb 12, 2025

Comments not properly ignored in the INPUT file

Status: Open.

#39 In marijnheule/drat-trim;

· sambuss opened on May 6, 2024

Validating part of the proof for both sat and unsat

Status: Open.

#38 In marijnheule/drat-trim;

· summer-yf opened on May 5, 2024

Forward checking with '-S' on satisfiable formulas fails.

Status: Open.

#35 In marijnheule/drat-trim;

· arminbiere opened on Mar 31, 2023

ASCII output despite -C

Status: Open.

#34 In marijnheule/drat-trim;

· lammich opened on Feb 28, 2023

How to convert DRAT/DRUP to LRAT?

Status: Open.

#29 In marijnheule/drat-trim;

· DennisYurichev opened on Feb 7, 2022

handle compressed files?

Status: Open.

#27 In marijnheule/drat-trim;

· c-cube opened on Aug 7, 2021

ignore parsing comments in binary mode

Status: Open.

#16 In marijnheule/drat-trim;

· NikolajBjorner opened on Jan 30, 2019

C++ API

Status: Open.

#14 In marijnheule/drat-trim;

· alex-ozdemir opened on Oct 29, 2018

The system does not deal with zipped CNF files

Status: Open.

#12 In marijnheule/drat-trim;

· msoos opened on Mar 21, 2018

Parser silently overflows on big variable numbers

Status: Open.

#3 In marijnheule/drat-trim;

· lammich opened on Feb 14, 2017

making it windows / cl friendly

Status: Open.

#2 In marijnheule/drat-trim;

· NikolajBjorner opened on Feb 9, 2017