Skip to content

rita-smt 2.0.1 Latest

A module to test satisfiability of Rita rule sets.

Install from the command line:
Learn more about npm packages
$ npm install @educorvi/rita-smt@2.0.1
Install via package.json:
"@educorvi/rita-smt": "2.0.1"

Recent Versions

  • 2.0.1
    Latest
    Published 30 days ago
    0
  • 2.0.0
    Published almost 2 years ago
    0
View all versions

Loading

Details

Last published

30 days ago

Discussions

0

Issues

1

Total downloads

0

Contributors 3

  •  
  •  
  •