Local-search based solver of Constraint Satisfaction and Optimization Problems
☆75Feb 17, 2026Updated last week
Alternatives and similar repositories for cpsolver
Users that are interested in cpsolver are comparing it to the libraries listed below
Sorting:
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Package contains algorithms to calculate smallest enclosing sphere for a given set of points in N dimensions.☆12Feb 8, 2020Updated 6 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- Java Constraint Programming solver☆232Feb 22, 2026Updated last week
- Constraint Solver ACE☆36Updated this week
- ☆32Feb 22, 2024Updated 2 years ago
- Modular Java framework for meta-heuristic optimization☆37Mar 15, 2024Updated last year
- Sketch Library for vector-based models☆15Mar 30, 2025Updated 11 months ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- EARS is a free and open-source Java-based framework for ranking, developing, and experimenting with single- and multi-objective evolution…☆25Feb 12, 2026Updated 2 weeks ago
- The Stochastic Local Search SAT Solver from UBC☆32Apr 10, 2022Updated 3 years ago
- A Python implementation of Simplex and Interior-Point algorithms for solving Linear Programs (LPs)☆25Jul 11, 2019Updated 6 years ago
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Feb 16, 2026Updated 2 weeks ago
- An open-source Java library for Constraint Programming☆753Feb 11, 2026Updated 2 weeks ago
- A standalone local search solver for general mixed integer programming☆46Feb 12, 2026Updated 2 weeks ago
- Functional programming for Java. Enhanced switch or simple pattern matching supported; String Interpolation supported; Java Functional In…☆11Jan 15, 2026Updated last month
- Some "Formula Translations" for Yousef Saad's book "Iterative Methods for Sparse Linear Systems (2nd Edition)"☆13Jan 14, 2018Updated 8 years ago
- Python package for automatically superimposing data sets to create a master curve, using Gaussian process regression and maximum a poster…☆12Feb 20, 2023Updated 3 years ago
- The LGMRES algorithm (C++ with Python bindings): matches SciPy's implementation to machine precision, but around 30 times faster☆10May 2, 2018Updated 7 years ago
- ECJ Evolutionary Computation Toolkit☆131Jan 11, 2026Updated last month
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- norm4j (Not an ORM for Java) is a lightweight, SQL-centric alternative to JPA☆14Feb 2, 2026Updated 3 weeks ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- JSSP dataset for LLMs☆17May 29, 2025Updated 9 months ago
- ☆10Feb 12, 2020Updated 6 years ago
- PyData Boston 2013 talks: "Intro to scikit-learn" & "Realtime Predictive Analytics: Using scikit-learn and RabbitMQ"☆11Jan 5, 2014Updated 12 years ago
- Open Source, Prepare a molecular dynamic simulation from scratch without installing local VMD, use LigParGen for topology, it is one of t…☆13Jul 3, 2023Updated 2 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- A purely functional cheminformatics toolkit written in Scala☆16Jun 7, 2013Updated 12 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Fast Sparse Multifrontal Solver☆11May 27, 2015Updated 10 years ago
- ☆20May 21, 2025Updated 9 months ago
- Python Climate Time Series package☆11Nov 15, 2022Updated 3 years ago