Satisfiability Websites

- gtconf.com

Journal of Geotechnical and Transportation Engineering

Not Applicable $ 8.95

- alt-ergo.ocamlpro.com

Alt-Ergo is an open-source automatic solver of mathematical formulas based on Satisfiability Modulo Theories (SMT). It is used by tools such as Why3, Frama-C, The Spark toolset, Caveat, EasyCrypt and Cubicle. AltErgo is maintained and distributed by the OCamlPro company since September 2013.

1,289,466 $ 960.00