sambayless/monosat

Issues

• Bug in addNode()

  #30 opened 3 years ago by jo285317
  3

• getConflictClause returns the negation of assumption literals

  #34 opened 3 years ago by amnore
  2

• Use of `_FPU_EXTENDED`/`_FPU_DOUBLE` is x86/x87-specific

  #33 opened 3 years ago by risicle
  1

• "Bad solution" error with acyclic property and self edge

  #32 opened 3 years ago by divergentdave
  6

• Soundness bug with connected components

  #29 opened 4 years ago by jeremysalwen
  22

• Integration with Z3?

  #28 opened 4 years ago by jeremysalwen
  2

• Undirected acyclicity constraint bevahiour

  #21 opened 5 years ago by acairncross
  2

• getConflictClause() and minizeUnsatCore() always return empty results

  #26 opened 5 years ago by xieyangxu
  1

• Misbehavior of bitvector methods in python bindings

  #27 opened 5 years ago by xieyangxu
  2

• Build only statically/dynamically linked libraries and binaries?

  #23 opened 5 years ago by acairncross
  1

• `__local_t` has not been declared

  #17 opened 6 years ago by seanmcl
  3

• Connection to datalog?

  #15 opened 7 years ago by copumpkin
  1

• Possibly flawed assumption in CMakeLists.txt?

  #11 opened 7 years ago by copumpkin
  3

• PyPI package?

  #6 opened 7 years ago by kasbah
  2

• monosat.aiger?

  #10 opened 7 years ago by copumpkin
  4

• Outdated jar file included in git repo

  #12 opened 7 years ago by copumpkin
  2

• Question: Clang compiler warnings

  #8 opened 7 years ago by seanmcl
  2

• Can't build on OSX

  #7 opened 7 years ago by seanmcl
  3

• read_pb test fails because no-pb-binary-search flag is unknown

  #5 opened 7 years ago by Hirse
  1