Skip to content

rita-smt 2.0.0 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.0
Install via package.json:
"@educorvi/rita-smt": "2.0.0"

Recent Versions

  • 2.0.0
    Latest
    Published over 1 year ago
    0
View all versions

Loading

Details

Last published

over 1 year ago

Discussions

0

Issues

1

Total downloads

0