JMiniZinc
☆18Oct 13, 2020Updated 6 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:
- ☆10Jul 3, 2025Updated last year
- MiniZinc support for Visual Studio Code☆11May 11, 2023Updated 3 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 CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆64Sep 12, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A CP Portfolio Solver☆27Jun 25, 2026Updated 4 months ago
- A lazy-grounding Answer-Set Programming system☆66Oct 26, 2026Updated last week
- ☆32Feb 22, 2024Updated 2 years ago
- Repository of feature models in UVL format integrated with Zenodo and flamapy following Open Science principles - Developed by DiversoLab☆15Updated this week
- ☆12Jan 4, 2020Updated 6 years ago
- Parsers to Choco3☆10Jul 26, 2019Updated 7 years ago
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- 🐧 Clingo Interactive UI☆31Oct 5, 2026Updated 3 weeks ago
- An open-source Java library for Constraint Programming☆782Oct 23, 2026Updated last week
- 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.
- Learning to sort numbers using a LSTM with a modified attention mechanism (Pointer Networks by Vinyals et al.).☆13Jun 21, 2018Updated 8 years ago
- Diff algorithm in Java☆10Nov 1, 2017Updated 9 years ago
- A simple german browsergame like die-kreuzzuege.de, die-staemme.de, tribalwars, TWLAN or DSLAN☆12Sep 13, 2017Updated 9 years ago
- Java Constraint Programming solver☆235Updated this week
- M.H.S algorithms encoded☆13Jun 14, 2016Updated 10 years ago
- A Maven plugin to create XML documentation of any Spring MVC Controllers in a given package. Useful for automatic API documentation.☆11Jul 17, 2012Updated 14 years ago
- ☆13May 20, 2022Updated 4 years ago
- An example of how to working with paging in Spring for GraphQL / Spring Data JPA☆18May 19, 2022Updated 4 years ago
- vue-d3-basechart provides BaseChart component using d3.js for Vue.js.☆11Nov 20, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A MQTT Client abstraction service for Spring Framework projects. Intended as a flexible and light alternate to using Spring Integration M…☆10Oct 12, 2020Updated 6 years ago
- ☆14Apr 20, 2014Updated 12 years ago
- Framework for to implement JavaFX JUnit-Tests☆11Nov 8, 2018Updated 7 years ago
- A project for collecting functionality related to laying out nodes in a JavaFX scene graph.☆12Feb 25, 2023Updated 3 years ago
- The MiniZinc compiler☆704Updated this week
- Intelligent production scheduling algorithm based on multi-objective and multi-source data disturbance prediction☆11Oct 9, 2023Updated 3 years ago
- ☆20Sep 8, 2021Updated 5 years ago
- ☆19May 21, 2025Updated last year
- ☆14Feb 23, 2025Updated last year
- 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.
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆19Sep 30, 2026Updated last month
- ☆12Jun 6, 2018Updated 8 years ago
- Templates for sending emails for Wire☆13Oct 14, 2026Updated 2 weeks ago
- Optimization Case Studies: Generic Time Scheduling Problem (GTSP), Resource-Constrained Project Scheduling Problem (RCPSP) with Pulse Var…☆11Nov 7, 2018Updated 7 years ago
- A simple, often-used multiprocessor scheduling (load balancing) algorithm is the LPT algorithm (Longest Processing Time) which sorts the …☆11Aug 21, 2018Updated 8 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- ☆12Jan 20, 2021Updated 5 years ago