JSPM

@joeychenofficial/alt-ergo-modified

2.4.0
    • ESM via JSPM
    • ES Module Entrypoint
    • Export Map
    • Keywords
    • License
    • Repository URL
    • TypeScript Types
    • README
    • Created
    • Published
    • Downloads 645
    • Score
      100M100P100Q115395F
    • License SEE LICENCE IN LICENCE

    Modified interface to the alt-ergo SMT solver

    Package Exports

    • @joeychenofficial/alt-ergo-modified

    This package does not declare an exports field, so the exports above have been automatically detected and optimized by JSPM instead. If any package subpath is missing, it is recommended to post an issue to the original package (@joeychenofficial/alt-ergo-modified) to support the "exports" field. If that is not possible, create a JSPM override to customize the exports field for this package.

    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.