-
Notifications
You must be signed in to change notification settings - Fork 135
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#81 In arminbiere/kissat;
- Status: Open.#80 In arminbiere/kissat;
- Status: Open.#76 In arminbiere/kissat;
Dumping equivalent literals
enhancementNew feature or requestNew feature or requestStatus: Open.#64 In arminbiere/kissat;No install target
enhancementNew feature or requestNew feature or requestStatus: Open.#62 In arminbiere/kissat;Porting Kissat 4.0.2 to MinGW MSYS2
enhancementNew feature or requestNew feature or requestStatus: Open.#61 In arminbiere/kissat;XOR clauses
enhancementNew feature or requestNew feature or requestStatus: Open.#60 In arminbiere/kissat;Add '--thanks=<string-hashed-to-seed>' option
enhancementNew feature or requestNew feature or requestStatus: Open.#50 In arminbiere/kissat;Pipe/Fork/Exec/Waitpid instead of Popen
enhancementNew feature or requestNew feature or requestStatus: Open.#46 In arminbiere/kissat;internal time limit feature
enhancementNew feature or requestNew feature or requestStatus: Open.#43 In arminbiere/kissat;output simplified formula
enhancementNew feature or requestNew feature or requestStatus: Open.#38 In arminbiere/kissat;Make binaries available for common platforms
enhancementNew feature or requestNew feature or requestStatus: Open.#33 In arminbiere/kissat;