oscar-cbls-flatzinc To run our backend on Unix/Linux/macOS use java -Xmx8G -jar lib/oscar-fzn-cbls.jar <command-line arguments>