Research software for constraint solving, formal methods, and diverse solution sampling.
2025
HighDiv
An SMT(LIA) sampler for high-diversity solutions.
- SMT
- Linear Integer Arithmetic
- Diverse Sampling
2023
BDDSampler
A C++ command-line tool for uniformly sampling satisfying assignments from bit-vector constraints using BDDs.
- BDD
- Bit Vectors
- Uniform Sampling