Back to search
An implementation of System-Z+ in Clojure
Stars
13
Forks
1
Watchers
13
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
38
commits
added logical operation functions that generate valid models for a given logical statement
2414582View on GitHub