arminbiere/kissat

Issues

• Iterative solving for multiple solutions?

  #55 opened 4 months ago by Bikes4Fun
  4

• output simplified formula

  #38 opened 2 years ago by marijnheule
  1

• kissat 4.0.0 doesn't compile with `--compact` flag

  #54 opened 4 months ago by firefighterduck
  5

• kissat problem with larger instances

  #52 opened 5 months ago by gsgs2
  5

• Windows x64 port

  #7 opened 4 years ago by sfiruch
  15

• Potential bug - Or only Windows 4.0.0 port?

  #51 opened 5 months ago by benjaminbartsch
  3

• More incrementality features?

  #3 opened 4 years ago by alexeyignatiev
  10

• Add '--thanks=<string-hashed-to-seed>' option

  #50 opened 9 months ago by arminbiere
  0

• is kissat non-deterministic?

  #49 opened 9 months ago by jwaldmann
  6

• treewidth

  #47 opened a year ago by gsgs2
  0

• Pipe/Fork/Exec/Waitpid instead of Popen

  #46 opened a year ago by arminbiere
  0

• beginner's questions

  #44 opened a year ago by ticotica4
  1

• `kissat_set_terminate` is not Implemented

  #10 opened 4 years ago
  5

• internal time limit feature

  #43 opened a year ago by arminbiere
  0

• Remove build.h include

  #41 opened a year ago by amatuag
  2

• exactly one clauses

  #39 opened a year ago by gsgs2
  8

• Run multiple file .cnf.txt then export to a file?

  #35 opened 2 years ago by anhpham197
  9

• Make binaries available for common platforms

  #33 opened 2 years ago by danielleberre
  11

• Remove redundant variables

  #36 opened 2 years ago by anhpham197
  6

• documentation

  #34 opened 2 years ago by deniskup
  1

• When both shared and static lib is requested each module should be built twice - with and without -fpic

  #32 opened 2 years ago by yurivict
  1

• Is it possible to dump the pre-processed cnf?

  #31 opened 2 years ago by wu-haoze
  2

• How do I make kissat use more CPU resources/time?

  #28 opened 2 years ago by chexo3
  3

• Is it possible to get the learned clauses after solving?

  #30 opened 2 years ago by zhaoyu-li
  5

• TISSAT is reporting an error

  #29 opened 2 years ago by benjaminbartsch
  2

• C++ interface

  #27 opened 2 years ago by Rammbock9000
  1

• Tag releases

  #18 opened 3 years ago by SuperSandro2000
  4

• SC 2022 versions - when to use them?

  #24 opened 3 years ago by jwaldmann
  2

• What options might influence kissat's behaviour the most?

  #25 opened 3 years ago by jwaldmann
  3

• kissat is using CPU time (not wall time) for stats?

  #22 opened 3 years ago by jwaldmann
  3

• Haskell API

  #20 opened 3 years ago by jwaldmann
  0

• test fails if too broad privileges (e.g. in root)

  #19 opened 3 years ago by lordlouckster
  10

• Proofs?

  #23 opened 3 years ago by DennisYurichev
  4

• IPASIR compatibility

  #21 opened 3 years ago by srogatch
  1

• Size checking in check_repeated_proof_lines (src/proof.c)

  #16 opened 3 years ago by shnarazk
  2

• not too bad

  #1 opened 4 years ago by DvonHolten
  4

• Test failures on Fedora

  #2 opened 4 years ago by jamesjer
  6

• Shared library with example usage?

  #4 opened 4 years ago by dgiagio
  4

• inaccurate format string

  #5 opened 4 years ago by mfernan2
  5

• kissat_signature not implemented

  #6 opened 4 years ago by sfiruch
  2

• Descriptions of options --autarky and --autarkeydelay are swapped

  #8 opened 4 years ago by sfiruch
  2

• Description of --walkmineff is incorrect

  #9 opened 4 years ago by sfiruch
  2

• limit check print bug

  #15 opened 4 years ago by asibkamalsada
  2

• Description of autarky flags swapped

  #14 opened 4 years ago by aaw
  1

• count_clause is called twice for all clauses

  #13 opened 4 years ago by msoos
  1

• Availability of Documentation/Commented Source Code

  #12 opened 4 years ago by varungohil
  1

• default setting for --restartint

  #11 opened 4 years ago by DvonHolten
  2