Sign in Sign up
npm

@educorvi/rita-smt

A module to test satisfiability of Rita rule sets.

npm View on Npm github View on Github

Activity

Latest release
9mo ago
Total releases
11
Cadence
~26 days
Last 12 months
1

Reach

Stars
—

Details

License
MIT
First release
Apr 28, 2022
Releases
Version Released
2.1.0 minor
2.0.2 patch
2.0.1 patch
2.0.0 major
1.2.2 patch
1.2.0 minor
1.1.3 patch
1.1.2 patch
1.1.1 patch
1.1.0 minor
1.0.0 initial