Pinned Repositories
cadical
CaDiCaL SAT Solver
autosar
A set of python modules for working with AUTOSAR XML files
cvc5-cadical-idrup-test
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
incremental-examples
Some examples of using incremental SAT solvers (SAT/SMT/AR Summer School 2024)
kfazekas.github.io
lidrup-visualiser
Python Script for visualisation of LIDRUP proofs.
qcir_ncfs
QSM
Quantified Symmetric Minimization of the Reachable States of Distributed Protocols
ShonanArtOfSAT
Schedule for ArtOfSAT
yices2
The Yices SMT Solver
kfazekas's Repositories
kfazekas/incremental-examples
Some examples of using incremental SAT solvers (SAT/SMT/AR Summer School 2024)
kfazekas/QSM
Quantified Symmetric Minimization of the Reachable States of Distributed Protocols
kfazekas/autosar
A set of python modules for working with AUTOSAR XML files
kfazekas/cvc5-cadical-idrup-test
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
kfazekas/kfazekas.github.io
kfazekas/qcir_ncfs
kfazekas/ShonanArtOfSAT
Schedule for ArtOfSAT
kfazekas/yices2
The Yices SMT Solver