Search results

New opam release

Status: Open.

#31 In Gbury/mSAT;

· terencode opened on Oct 14, 2024

How to get non-deterministic solutions?

Status: Open.

#27 In Gbury/mSAT;

· bergwerf opened on Sep 21, 2021

perf regression on 0.9

bug

Status: Open.

#26 In Gbury/mSAT;

· c-cube opened on Aug 18, 2021

perf: phase saving

enhancement

question

research

Status: Open.

#18 In Gbury/mSAT;

· c-cube opened on Feb 21, 2019

DRAT proof output

enhancement

Status: Open.

#15 In Gbury/mSAT;

· c-cube opened on Aug 17, 2018

Use reflexivity in Coq proofs

Status: Open.

#10 In Gbury/mSAT;

· Gbury opened on Sep 8, 2017

access literals' decision level from theory

Status: Open.

#9 In Gbury/mSAT;

· c-cube opened on Jul 21, 2017