MiniZinc / minizinc-jsView external linksLinks
Use MiniZinc in the browser or with NodeJS
☆52Jan 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for minizinc-js
Users that are interested in minizinc-js are comparing it to the libraries listed below
Sorting:
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- A constraint modelling and rewriting library and compiler framework written in rust☆29Jan 12, 2026Updated last month
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 10 months ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated last year
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated last month
- The MiniZinc IDE☆166Feb 5, 2026Updated last week
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Oct 27, 2023Updated 2 years ago
- The Chuffed CP solver☆119Jan 6, 2026Updated last month
- Nutmeg – a MIP and CP branch-and-check solver☆31Jun 22, 2023Updated 2 years ago
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- SAT solver for education☆26Nov 1, 2022Updated 3 years ago
- Access to all MiniZinc functionality directly from Python☆201Dec 15, 2025Updated last month
- Simple "everyday CRUD" Postgres queries with perfect TypeScript types☆35Jul 3, 2024Updated last year
- A minimal cross browser URL parser library☆10Apr 26, 2020Updated 5 years ago
- A simple Powershell script to clean up your PATH on Windows☆17Mar 6, 2022Updated 3 years ago
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 7 months ago
- Play Mortal Kombat with the camera as your input device and your body/pose as a controller.☆11Jun 18, 2023Updated 2 years ago
- Kodkod solver for relational logic☆84Jul 4, 2023Updated 2 years ago
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 4 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆16Updated this week
- An application for comparing two binary files☆11Feb 22, 2019Updated 6 years ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Article for Special Edition of Information: Machine Learning with Python☆14Jan 8, 2025Updated last year
- lua command line interpreter for Android☆16Sep 17, 2015Updated 10 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Dec 16, 2025Updated last month
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- A framework that enables you to use intimate jquery-style APIs in React instead of using redux. Light, simple and easy🍹☆11Apr 28, 2018Updated 7 years ago
- FTP Client for Generic boards such as AVR Mega, megaAVR, Portenta_H7, Teensy, SAM DUE, SAMD21, SAMD51, STM32F/L/H/G/WB/MP1, nRF52, RP2040…☆11Jan 21, 2023Updated 3 years ago
- Rich tagging in the Terminal via Google Vision API☆11May 12, 2023Updated 2 years ago
- AMP (Advance Music Player) is a free, powerful and elegant music player for Android used to be a free app on the Play Store.☆15May 9, 2022Updated 3 years ago
- Guichan is a C++ GUI library designed for games.☆14Oct 22, 2025Updated 3 months ago
- CLP(BNR) module for SWI-Prolog☆44Dec 4, 2025Updated 2 months ago
- ☆10Jan 16, 2025Updated last year