JMiniZinc
☆18Oct 13, 2020Updated 5 years ago
Alternatives and similar repositories for JMiniZinc
Users that are interested in JMiniZinc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆17Jul 9, 2026Updated 2 months ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Updated this week
- The website for the MiniZinc constraint modelling system☆19Sep 7, 2026Updated 2 weeks ago
- My collection of Python tools!☆11Jan 27, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yuck is a local-search constraint solver with FlatZinc interface☆63Sep 12, 2026Updated last week
- ☆10Jan 15, 2022Updated 4 years ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated 2 months ago
- A lazy-grounding Answer-Set Programming system☆66May 15, 2026Updated 4 months ago
- Inkdrop data model definitions in json-schema and flowtype☆13Updated this week
- 🍀 A system for probabilistic reasoning in clingo☆21Jun 24, 2024Updated 2 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- small MiniZinc examples demonstrating various language features☆133Sep 11, 2017Updated 9 years ago
- A Clojure Library for the Facebook Messenger Bot API. Wiki: https://github.com/prometheus-ai/fb-messenger-clj/wiki☆13Dec 13, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple german browsergame like die-kreuzzuege.de, die-staemme.de, tribalwars, TWLAN or DSLAN☆12Sep 13, 2017Updated 9 years ago
- 🐧 Clingo Interactive UI☆30Sep 7, 2026Updated 2 weeks ago
- Unit test generation for the Kakoune editor with Symflower☆12Oct 17, 2022Updated 3 years ago
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 years ago
- A template repo for folks wanting to do Advent of Code with Clerk.☆17Dec 3, 2025Updated 9 months ago
- An open-source Java library for Constraint Programming☆780Sep 10, 2026Updated last week
- An open-source course on constraint solving☆27Sep 14, 2026Updated last week
- my music queue, simple and shared music system.☆11Nov 3, 2016Updated 9 years ago
- Material for lectures on software product lines☆17Mar 2, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- M.H.S algorithms encoded☆12Jun 14, 2016Updated 10 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆82Sep 2, 2026Updated 3 weeks ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- jQuery TodoMVC using the Web Cryptography API☆15Sep 12, 2014Updated 12 years ago
- Project Moore: a Wagtail/Django based web-application for the UTN IT infrastructure☆14Mar 11, 2024Updated 2 years ago
- Alice ML implementation☆16Nov 25, 2022Updated 3 years ago
- An example of how to working with paging in Spring for GraphQL / Spring Data JPA☆18May 19, 2022Updated 4 years ago
- Order-Management-System☆14Updated this week
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The MiniZinc compiler☆702Updated this week
- A constraint programming solver with support for proof logging☆20Updated this week
- vue-d3-basechart provides BaseChart component using d3.js for Vue.js.☆11Nov 20, 2016Updated 9 years ago
- Crate for reading TPTP files.☆16May 11, 2022Updated 4 years ago
- A React UI for https://api.spacetraders.io/v1☆11Apr 30, 2024Updated 2 years ago
- Templates for sending emails for Wire☆13Jul 30, 2026Updated last month
- ☆12Jun 6, 2018Updated 8 years ago