Closed Bubbler-4 closed 1 month ago
Apparently Picat does not recognize the script file without .pi extension.
.pi
Apparently Picat does not recognize the script file without
.pi
extension.