Natural Potato Magnet

    ats-extsolve

    1.0.2 • Public • Published

    ATS-extsolve:

    For solving ATS-constraints

    with external SMT-solvers

    HX: This one is built on top of the earlier work by Will Blair (wdblairATcsDOTbuDOTedu)

    HX: ATS-extsolve-z3 // solving with Z3 ATS-extsolve-smt2 // generating constraints in smt-lib format

    end of [README]

    Install

    npm i ats-extsolve

    DownloadsWeekly Downloads

    2

    Version

    1.0.2

    License

    MIT

    Last publish

    Collaborators

    • npmhwxi