search

aig-upf / universal-planning-validator

Software for validating classical plans and planning programs (under development)
GNU General Public License v3.0
4 stars 0 forks source link

Support for OR clauses #1

Closed ertsiger closed 6 years ago

ertsiger commented 6 years ago

Done: adc7e6b2285f48878b37c5c6cb84a36cb9b2dd53