Java Constraint Programming solver
☆233Mar 1, 2026Updated this week
Alternatives and similar repositories for jacop
Users that are interested in jacop are comparing it to the libraries listed below
Sorting:
- An open-source Java library for Constraint Programming☆754Feb 11, 2026Updated 3 weeks ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Jun 21, 2022Updated 3 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Feb 17, 2026Updated 2 weeks ago
- ☆32Feb 22, 2024Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated 2 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- adt4j - Algebraic Data Types for Java☆148Mar 2, 2018Updated 8 years ago
- DoWhy是用于因果推断的Python库,它支持对因果假设进行显式建模和验证。DoWhy基于用于因果推理的统一语言,结合了因果图模型和潜结果框架。☆14Mar 31, 2020Updated 5 years ago
- JMiniZinc☆18Oct 13, 2020Updated 5 years ago
- In-process in-memory multi-level LRU cache☆21May 31, 2022Updated 3 years ago
- Thor Hammer and a way to express invokedynamic in Java☆17Sep 23, 2020Updated 5 years ago
- High speed filtering of arbitrarily large JSON documents☆10Feb 24, 2026Updated last week
- Networking and buffer APIs and implementations for use in Copycat and Atomix☆52Jun 7, 2017Updated 8 years ago
- Java interface for the SCIP Optimization Suite☆70Jan 16, 2026Updated last month
- Experimental pure Java revised simplex linear program solver (Apache 2.0 license)☆15Jun 22, 2020Updated 5 years ago
- oj! Algorithms☆504Feb 27, 2026Updated last week
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago
- Sodium - Functional Reactive Programming (FRP) Library for Kotlin☆21Jan 2, 2018Updated 8 years ago
- Java implementation of K-Sortable Globally Unique IDs☆42Dec 3, 2021Updated 4 years ago
- Lightweight dataflow Java library. Includes various asynchronous constructs, including actors and asynchronous I/O requests.☆101May 9, 2023Updated 2 years ago
- SMTInterpol interpolating SMT solver☆71Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- JDBC support for Gatling☆23Mar 29, 2022Updated 3 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- They only live to get radical.☆13Nov 29, 2018Updated 7 years ago
- Clojure implementation of the Semantic Versioning 2.0.0 spec. Parse, validate, sort and modify semantic version strings☆12Feb 3, 2021Updated 5 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- Distributed in-memory cube base on java8 stream☆17Dec 6, 2014Updated 11 years ago
- JavaFX wrapper for CodeMirror☆10Sep 19, 2017Updated 8 years ago
- An unrolled linked list implementation that is written in Java.☆17Mar 30, 2017Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Conjure: The Automated Constraint Modelling Tool☆112Updated this week
- Constraint Solver ACE☆36Updated this week
- World's fastest CSV parser / databinding for Java☆18Updated this week
- ☆13Feb 25, 2026Updated last week
- Helps you to find or define Maven UIDs for any JAR file and generate corresponding artifact install scripts.☆12Jul 16, 2024Updated last year
- Interactively evolve various types of art (pictures, animations, shapes, and sounds) using Compositional Pattern Producing Networks☆21May 9, 2018Updated 7 years ago