Pinned Repositories
aehyvari.github.io
beastmaker
Beastmaker shell script
benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
bison
GNU Bison
certora-solana-platform-tools
Certora modified Solana Platform Tools
OpenSMT2
My personal OpenSMT2 solver repository. For the "official" OpenSMT2 repository see the website
smt-comp
Local repository for SMT-COMP
smt-workshop-2022-slides
Slides for smt workshop 2022
smt-workshop-proceedings
proceedings template and author guide for SMT workshop
smts
aehyvari's Repositories
aehyvari/OpenSMT2
My personal OpenSMT2 solver repository. For the "official" OpenSMT2 repository see the website
aehyvari/smt-comp
Local repository for SMT-COMP
aehyvari/smt-workshop-2022-slides
Slides for smt workshop 2022
aehyvari/smt-workshop-proceedings
proceedings template and author guide for SMT workshop
aehyvari/smts
aehyvari/aehyvari.github.io
aehyvari/beastmaker
Beastmaker shell script
aehyvari/benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
aehyvari/bison
GNU Bison
aehyvari/certora-solana-platform-tools
Certora modified Solana Platform Tools
aehyvari/cpp-base64
base64 encoding and decoding with c++
aehyvari/cumuprobs
Scripts for producing cumulative plots
aehyvari/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
aehyvari/cvc5-docker
Docker file for building custom cvc5
aehyvari/drat-trim
My copy of drat-trim
aehyvari/opensmt
The opensmt solver
aehyvari/opensmt-debugging
Miscellaneous shared tools for debugging/profiling opensmt
aehyvari/opensmt_antti
aehyvari/proof-checker
The proof checker for opensmt's traces
aehyvari/pysmt
aehyvari/sat-live-website
SAT Live! web site
aehyvari/scrambler
smt-comp scrambler
aehyvari/smt-comp.github.io
My own repository for smt-comp.github.io
aehyvari/smtinterpol
SMTInterpol interpolating SMT solver
aehyvari/thread-architecture
Suggestion for the thread architecture on opensmt
aehyvari/verify-env
Repository for the verify-env docker image
aehyvari/z3
The Z3 Theorem Prover