You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Patrick J. Henning 15e074aa76 rename top module 3 days ago
.gitignore policy typeclass 3 days ago
Makefile rename top module 3 days ago
main.c rename top module 3 days ago
pat.m rename top module 3 days ago
policy.m Transition many predicates to functions 3 days ago
rules.txt WIP: baby's first graph 1 week ago