jeffrey@icurse.nl
Jeffrey Lin
sci-mathematics@gentoo.org
Gentoo Mathematics Project
STP is a constraint solver (or SMT solver) aimed at solving
constraints of bitvectors and arrays. These types of
constraints can be generated by program analysis tools, theorem
provers, automated bug finders, cryptographic attack tools,
intelligent fuzzers, model checkers, and by many other
applications.
https://github.com/stp/stp/issues/
stp/stp