msoos/cryptominisat

Issues

• Why does cryptominisat expect the libcadiback library?

  #773 opened a month ago by yurivict
  2

• Core dumped when enumerating solutions

  #772 opened 2 months ago by olegzaikin
  5

• Question about simplify() Function and Variable Freezing in CryptoMiniSat

  #767 opened 2 months ago by tzzht
  2

• Browser solver has bugs

  #770 opened 2 months ago by e1011
  2

• Compilation error on WSL and Red Hat

  #766 opened 4 months ago by Joseph459459
  2

• Document changes in release 5.11.22

  #764 opened 4 months ago by ykazakov
  5

• latest release gives importerror

  #765 opened 4 months ago by Wout4
  2

• Assertion 'false' failed on CMSat::findWatchedOfBin

  #759 opened 4 months ago by dampers
  4

• pycryptosat doesn't build

  #763 opened 4 months ago by antonio-rojas
  3

• Adding Special Flags for windows environment.

  #760 opened 4 months ago by deepeshchugh
  9

• searcher.cpp & occsimplifier.cpp: "no member named ‘randDblExc’"

  #753 opened 4 months ago by Geremia
  1

• Getting Memory Manager Error after turning DLargeMem=ON

  #761 opened 4 months ago by deepeshchugh
  5

• Make error - Cadiback Issue

  #758 opened 4 months ago by anna-guinet
  3

• Crash

  #757 opened 5 months ago by TrevorHansen
  2

• unittest.makeSuite is removed in Python3.13

  #755 opened 6 months ago by jelly
  2

• Parsing for multiple 'c ind' lines

  #754 opened 7 months ago by tanyongkiam
  2

• moving from toml to tomli?

  #747 opened 7 months ago by dimpase
  1

• Feature request. Please add a generator for Weierstrass/Edwards curve on finite field arithmetic.

  #751 opened 7 months ago by ytrezq
  1

• `--pre-proc` gone in v5.11.21

  #745 opened 8 months ago by Geremia
  4

• -DSTATS=ON → "Could NOT find SQLITE3 (missing: SQLITE3_LIBRARY)"

  #748 opened 8 months ago by Geremia
  6

• Building CBMC with CMS backend via IPASIR?

  #746 opened 8 months ago by Geremia
  2

• 5.5.20 FTBFS with bosphorus

  #743 opened 9 months ago by antonio-rojas
  6

• Blocked clause until UNSAT searcher

  #742 opened 10 months ago by GregoryMorse
  2

• Extracting contradictions from UNSAT

  #739 opened a year ago by na3na3na
  1

• Could not build 5.11.14 on Linux without -DONLY_SIMPLE=ON

  #734 opened a year ago by mister-walter
  7

• Incorrect Full Model

  #736 opened 10 months ago by AL-JiongYang
  2

• c [occ-empty-res] Empty resolvent elimed: 101 T: 0.45 T-out: N *** picosat: compiled without trace support

  #741 opened 10 months ago by PeterMacGonagan
  8

• How to estimate the SAT Solving time?

  #740 opened a year ago by Gary-oak-Star
  4

• Weighted variables

  #738 opened a year ago by na3na3na
  1

• Setting Literal Polarity

  #737 opened a year ago by gaspard-quenard
  4

• parsing of dimacs for c++ library usage

  #735 opened a year ago by na3na3na
  2

• MPI compilation doesn't work

  #733 opened a year ago by marino-mrc
  1

• Louvain Libraries needed if DSTATS=ON

  #731 opened a year ago by marino-mrc
  3

• Compilation fails when DSTATS=ON

  #732 opened a year ago by marino-mrc
  2

• Assertion is failing

  #730 opened a year ago by GregoryMorse
  8

• Build with m4ri fails

  #729 opened a year ago by antonio-rojas
  2

• Feature of rollbacking

  #728 opened a year ago by linsushi
  1

• C++ interface linker issues

  #727 opened a year ago by KranNaut
  2

• IPASIR usage documentation

  #726 opened a year ago by MikolasJanota
  7

• Version of the c++ compiler required has not been specified

  #725 opened a year ago by tekeuange23
  2

• cryptominisat5_simple outputs a string without prefix 'c '

  #724 opened a year ago by vale1410
  1

• Unexplainable behavior on a SAT instance

  #723 opened a year ago by kix6lj
  1

• Limit the number of truth values in the xor+cnf file

  #721 opened a year ago by Han-sx
  1

• Encoding question

  #720 opened 2 years ago by t-dim
  3

• Extended resolution in Cryptominisat

  #719 opened 2 years ago by amatuag
  1

• import pycryptosat failed

  #717 opened 2 years ago by Flians
  16

• Ask cryptominisat to work only on a subset of variables

  #715 opened 2 years ago by LeandreBl
  4

• LARGEMEM=ON, but ID of stats/frat is uint32_t/int32_t, gives assertion in very special case (high number of 3 long clauses)

  #714 opened 2 years ago by capiman
  2

• CodeQL to help to find optimizations/speed up code

  #712 opened 2 years ago by capiman
  2

• preproc option does not work

  #711 opened 2 years ago by ale-depi
  4