A tool that takes a Little-JIL definition in XML and translates its constraints into Kodkod Java framework to obtain partial order plans by running the Kodkod solver.
vvalleru/Scheduler
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|