Beast code in Giters

Jaroslav Bendik's repositories

mustool

Language:C++MIT15 20

rime

RIME - A MSS (MCS) enumeration tool

Language:C++MIT2 2 1

unimus

SAT (Boolean) Enumerator of Minimal Unsatisfiable Subsets (MUSes)

Language:C++MIT2 10

amusic

AMUSIC: a tool for approximate counting of minimal unsatisfiable subsets of a given Boolean formula in CNF

Language:PythonMIT1 20

benchmark-submission

Repository for the submission of SMT-LIB benchmarks for the 2023 release.

Language:SMT100

tamus

Language:PythonGPL-3.01 20

ApproxMC

Approximate Model Counter

Language:C++NOASSERTION010

bisection-test

010

exactMUSCounter

Language:Python02 1

HSmtMuc

Minimal unsatisfiable core extractor for SMT

Language:SMT010

jar-ben.github.io

Language:HTML020

jaroslav-bendik

Language:Jupyter NotebookMIT020

jkind

JKind - a Java implementation of the KIND model checker

Language:JavaNOASSERTION010

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION010

MSSCounting

Language:Python020

MSSDecomposition

Language:PythonMIT02 1

mus

Language:C++010

online-mivc-enumeration

Language:TeX030

PerformanceTest

Language:SMTNOASSERTION010

supervisoryControl

Language:Python020

tower-of-hanoi

Language:PythonGPL-3.0020

z3

The Z3 Theorem Prover

Language:C++NOASSERTION010