Arijit Shaw's repositories
2ls
Static Analyzer and Verifier
aiml-assignments
Assignments for the course AI-ML at IAI
ApnaTabs
Ukulele tabs with sources in TuxGuitar
approxmc
Approximate Model Counter
unigen
UniGen with UniSamp
cadical
CaDiCaL SAT Solver
cmsgen
CMSGen, a fast weighted uniform-like sampler
counterSharp
Quantification of software properties through Model Counting: We use CBMC to transform C-code into SAT instances and then run approximate model counting on those instances
counterSharp-experiments
Experiments for the counterSharp tool
crypto-assignments
Assignments for the course Crypto-1 at IAI
cryptominisat
An advanced SAT Solver
drat-trim
Marijn Heule's DRAT-TRIM with some modifications
eran
ETH Robustness Analyzer for Deep Neural Networks
kickstart.nvim
A launch point for your personal nvim configuration
lingeling
Lingeling SAT Solver
minisat
A minimalistic and high-performance SAT solver
minisat-kcmc
MiniSat to use in Model Counting
mkplot
A Python script to create cactus/CDF and scatter plots based on matplotlib
mldcsat
MapleLCMDistChronoBT from SAT Race '19 with some new heuristics
pact
pact is a hashing based approximate model counter for SMT problems based on cvc5.
satcomp-winners
Source code of winning solvers
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
tic-tac-toe
Play tic-tac-toe against an intelligent machine