Pinned Repositories
aig-rs
cadical-rs
cudd-rs
DAC24
Predicting Lemmas in Generalization of IC3 (Accepted by DAC2024)
gipsat
logic-form
mc-benchmark
minisat-rs
nuXmv
SBVA
Structured BVA
gipsyh's Repositories
gipsyh/aig-rs
gipsyh/mc-benchmark
gipsyh/minisat-rs
gipsyh/cadical-rs
gipsyh/gipsat
gipsyh/logic-form
gipsyh/nuXmv
gipsyh/SBVA
Structured BVA
gipsyh/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
gipsyh/minisat
A minimalistic and high-performance SAT solver
gipsyh/avr
Reads a state transition system and performs property checking
gipsyh/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
gipsyh/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
gipsyh/boolector-rs
gipsyh/btor2-rs
gipsyh/btor2tools
A generic parser and tool package for the BTOR2 format.
gipsyh/cadical
CaDiCaL SAT Solver
gipsyh/cryptominisat-rs
CryptoMiniSat rust bindings
gipsyh/EasySAT
A Simple CDCL Solver
gipsyh/FM2024
gipsyh/giputils
gipsyh/ic3po
IC3PO: IC3 for Proving Protocol Properties
gipsyh/IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
gipsyh/kissat-rs
gipsyh/pIC3
gipsyh/satif
gipsyh/smtlib-rs
A high-level API for interacting with SMT solvers.
gipsyh/transys
gipsyh/v2ray_cli
V2ray Subscription Command-Line Interface for Linux without GUI
gipsyh/yosys
Yosys Open SYnthesis Suite