Skip to content

smtlib 1.2.3 Latest

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers

Install from the command line:
Learn more about npm packages
$ npm install @educorvi/smtlib@1.2.3
Install via package.json:
"@educorvi/smtlib": "1.2.3"

Recent Versions

  • 1.2.3
    Latest
    Published 28 days ago
    0
  • 1.2.2
    Published 9 months ago
    0
  • 1.2.1
    Published over 2 years ago
    0
  • 1.2.0
    Published over 2 years ago
    0
View all versions

Loading

Details

Last published

28 days ago

Discussions

0

Issues

1

Total downloads

0

Contributors 3

  •  
  •  
  •