@educorvi/smtlib (npm): A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
Keywords: rules|typescript