@joeychenofficial/alt-ergo-modified
v2.4.0
Published
Modified interface to the alt-ergo SMT solver
Readme
Unofficial modification from https://alt-ergo.ocamlpro.com/ .
This program is a modified version of the Alt Ergo js-worker, but instead of creating a worker, it exposes a function runAltErgo which does whatever the worker was supposed to do, but synchronously.
