Open camall3n opened 1 year ago
Okay, the domain file has been updated. I'll generate a problem file next.
Fixed a few more bugs and removed numerics from the problem file!
Had to update some not literals and some exists conditions to make the FD parser happy
not
exists
Okay, the domain file has been updated. I'll generate a problem file next.