Fix type for checker sub-messages - Githubissues

MiniZinc / minizinc-js

Use MiniZinc in the browser or with NodeJS

https://js.minizinc.dev

Mozilla Public License 2.0

31 stars 8 forks source link

Fix type for checker sub-messages #24

Closed cyderize closed 1 year ago