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☆15Mar 5, 2026Updated 2 months ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 3 years ago
- The website for the MiniZinc constraint modelling system☆19May 3, 2026Updated 3 weeks ago
- Libgraph integration with Livebook☆12Nov 19, 2025Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15May 1, 2026Updated 3 weeks ago
- My collection of Python tools!☆11Jan 27, 2026Updated 3 months ago
- Uniform test interface to Scala test frameworks (specs, ScalaCheck, ScalaTest)☆14Oct 9, 2025Updated 7 months ago
- Homebrew formulae for numerical methods☆11Dec 27, 2021Updated 4 years ago
- ☆16Aug 25, 2017Updated 8 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31May 18, 2026Updated last week
- A CP Portfolio Solver☆27Apr 18, 2023Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆64May 15, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Repository of Homebrew Formulae for COIN-OR Projects☆12Mar 16, 2026Updated 2 months ago
- ☆15Jun 18, 2023Updated 2 years ago
- Bash script to download all lecture videos & notes for a particular course on Coursera.org.☆13Dec 25, 2015Updated 10 years ago
- 🐧 Clingo Interactive UI☆30Updated this week
- M.H.S algorithms encoded☆12Jun 14, 2016Updated 9 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 years ago
- Project Moore: a Wagtail/Django based web-application for the UTN IT infrastructure☆14Mar 11, 2024Updated 2 years ago
- Java Constraint Programming solver☆234Mar 22, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A repo of sample data for our PyData Tutorial!☆16Mar 29, 2016Updated 10 years ago
- A utility to read and write pdfs with Python☆19Jan 5, 2014Updated 12 years ago
- A fork of http://code.google.com/p/annovention/ that fixes bugs and removes Apache log dependency to keep the library lightweight☆17Feb 22, 2014Updated 12 years ago
- The MiniZinc compiler☆685May 16, 2026Updated last week
- A simple, often-used multiprocessor scheduling (load balancing) algorithm is the LPT algorithm (Longest Processing Time) which sorts the …☆11Aug 21, 2018Updated 7 years ago
- A constraint programming solver with support for proof logging☆19Updated this week
- A simple german browsergame like die-kreuzzuege.de, die-staemme.de, tribalwars, TWLAN or DSLAN☆12Sep 13, 2017Updated 8 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 9 years ago
- A React UI for https://api.spacetraders.io/v1☆11Apr 30, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 minesweeper clone in the terminal, written in Elixir.☆48May 5, 2017Updated 9 years ago
- A first-order concurrent automated theorem prover☆25Mar 25, 2026Updated 2 months ago
- A Julia interface to NVIDIA's cuOpt☆29Apr 21, 2026Updated last month
- ☆12Jun 6, 2018Updated 7 years ago
- CS-H198 Honor Research Project on algorithms. The course scheduling algorithm can generate a four year plan or a partial plan for UCI stu…☆11Oct 12, 2017Updated 8 years ago