Hacker News
- MiniZinc https://www.minizinc.org/ 74 comments
- MiniZinc: free and open-source constraint modeling language http://www.minizinc.org/ 33 comments
- Factorio as a Combinatorial Optimization problem https://www.minizinc.org/ 39 comments factorio
- Is there a good constraint processing library for Rust? Or is it possible to use MiniZinc from Rust? http://www.minizinc.org/index.html 11 comments rust
- MiniZinc: free and open-source constraint modeling language. http://www.minizinc.org/ 11 comments programming
Linking pages
- Constraint Solving with Minizinc • Hillel Wayne https://www.hillelwayne.com/post/minizinc/ 40 comments
- Compiling With Constraints | Hey There Buddo! https://www.philipzucker.com/compile_constraints/ 36 comments
- Helping a stranger (and why you should understand NP-complete) – Life Beyond Fife http://lifebeyondfife.com/helping/ 29 comments
- GitHub - aumouvantsillage/TablaZinc: Generate guitar tablatures using a constraint solver https://github.com/senshu/TablaZinc 26 comments
- How to Solve the Sudoku Puzzle with programming • Hillel Wayne https://www.hillelwayne.com/post/sudoku/ 17 comments
- Verification Competitions – Alastair Reid – Researcher at Intel https://alastairreid.github.io/verification-competitions/ 12 comments
- clojure2minizinc/README.org at master · tanders/clojure2minizinc · GitHub https://github.com/tanders/clojure2minizinc/blob/master/README.org 4 comments
- GitHub - laserbat/gol.py: efficient Game of Life in Python https://github.com/laserbat/gol.py 3 comments
- Lucas DiCioccio's blog - Solving the Snake Cube puzzle https://lucasdicioccio.github.io/snake-cube.html 1 comment
- GitHub - coin-or/Cbc: COIN-OR Branch-and-Cut solver https://github.com/coin-or/Cbc 0 comments
- Solving River Crossing Puzzles With MiniZinc https://sasnauskas.eu/solving-river-crossing-puzzles-with-minizinc/ 0 comments
- GitHub - makenowjust/quine: Quine Museum https://github.com/MakeNowJust/quine 0 comments
- Machine Reasoning: The forgotten side of AI https://btmc.substack.com/p/machine-reasoning-the-forgotten-side 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.