Software developed by the MIAO group for public use.
Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
RC2 with pseudo-Boolean proof logging.
MiniSAT with pseudo-Boolean proof logging for parity reasoning.
RoundingSat: the pseudo-Boolean solver powered by proof complexity!
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.