kfazekas

incremental-examples

Some examples of using incremental SAT solvers (SAT/SMT/AR Summer School 2024)

kfazekas.github.io

cvc5-cadical-idrup-test

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

ShonanArtOfSAT

Schedule for ArtOfSAT

QSM

Quantified Symmetric Minimization of the Reachable States of Distributed Protocols

qcir_ncfs

yices2

The Yices SMT Solver

autosar

A set of python modules for working with AUTOSAR XML files