rainoftime's repositories
aZ3
A solver for All-solution Satisfiabiiity Modulo Theories
bayes-to-cnf
Encode Bayesian Networks into Conjunctive Normal Form
bitcoin-price-prediction
Bayesian regression for latent source model and Bitcoin
c2boolean
Translation from C program to Boolean program
CEGIS
Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research
crab
A language-agnostic engine for abstract interpretation
depsolver
A SAT-based dependency solver in python strongly inspired by Composer
experiment-scripts
Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.
FPsolve
FPsolve: solver for polynomial equations over omega-continuous semirings
fracture
an architecture-independent decompiler to LLVM IR
intuit
An automated theorem prover for intuitionistic propostional logic
neonGobyPort
Port the neonGoby project (https://github.com/columbia/neongoby) to work with the latest version of LLVM
qeconv
Command to convert the format of first-order formulas.
qepcad
Quantifier Elimination by Partial Cylindrical Decomposition
rules
possibly playing with equality saturation
screen
Measure branching along code paths
SETr
Abstract domain library for sets
SymDIVINE
Verification tool for parallel C/C++ programs with LTL support
wrapped-intervals
Precise and Signedness Agnostic Interval Analysis for LLVM IR