Repository files navigation

See

https://www.metalevel.at/simsttab/

for more information.

Sample invocation:

$ scryer-prolog simsttab.pl reqs.pl

Sample query:

?- requirements_variables(Rs, Vs),   labeling([ff], Vs),   print_classes(Rs).

This constructs atimetable that satisifies therequirements stated inreqs.pl.