niklasso/minisat

Issues

• Windows binary

  #51 opened 6 months ago by PolarGoose
  0

• The way Minisat actually solves CNF clauses

  #48 opened 2 years ago by anhpham197
  0

• Declaration of mkLit breaks compilation on OS X (with clang-503.0.40)

  #16 opened 11 years ago by fniksic
  5

• --version

  #46 opened 2 years ago by shafiuzzaman-md
  1

• error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition

  #45 opened 2 years ago by trcrsired
  2

• Correct the compiler warnings

  #41 opened 4 years ago by MathieuDutSik
  1

• what is cnf-file?

  #44 opened 3 years ago by llllllzf
  1

• Reserved user defined literal: Space needed between string and PRIi64 token

  #13 opened 11 years ago by Siesh1oo
  1

• Find a solution that contains as few values assigned to be true as possible.

  #39 opened 4 years ago by wfz0755
  7

• Read-only file system

  #38 opened 5 years ago by verifierlife
  1

• --soname linker error

  #37 opened 5 years ago by karthik-titech
  1

• Compiling problem when using API with newer g++ version

  #29 opened 8 years ago by p4p4
  1

• unexpected results running minisat on SATLIB benchmark tests

  #34 opened 6 years ago by emasab
  2

• Understanding Question

  #30 opened 8 years ago by ioah86
  2

• Compilation bug with clang 3.4

  #22 opened 10 years ago by msoos
  4

• Asymmetric branching skips clauses

  #26 opened 9 years ago by mishun
  1

• Minor logic errors in simplification

  #20 opened 10 years ago by chanseokoh
  11

• Async interrupt should not work

  #21 opened 10 years ago by msoos
  0

• Bug caught by SWDiA5BY authors?

  #19 opened 10 years ago by msoos
  3

• Running minisat on visual studio (windows)

  #15 opened 11 years ago by johnsmith12
  0

• OSX Portability issues

  #12 opened 11 years ago by Siesh1oo
  0

• Fix compilation error on non-Linux systems

  #9 opened 11 years ago by jgalenson
  1

• Function 'memUsedPeak()' is not defined on all architectures.

  #1 opened 14 years ago by niklasso
  2

• analyzeFinal's returned clause is not minimal

  #11 opened 11 years ago by msoos
  5

• assertion is hit in SimpSolver::relocAll

  #3 opened 13 years ago by vkhomenko
  1

• All lines must be postfixed with "0"

  #2 opened 14 years ago by jonnybest
  1