Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with rule-checker
A curated list of projects in awesome lists tagged with rule-checker .
https://github.com/sgreben/rc
A rule checker library for Java. Checks sets of rules for completeness, overlap, and constraint satisfaction.
analysis builder checker constraint-satisfaction rule-checker rules ruleset yaml z3
Last synced: 27 Oct 2024
https://github.com/sgreben/rc-cli
A rule checker command line tool. Reads YAML, written in Java. Checks sets of rules for completeness, overlap, and constraint satisfaction
analysis constraint-satisfaction constraints rc rule-checker rules yaml z3
Last synced: 27 Oct 2024