radsz / jacopView external linksLinks
Java Constraint Programming solver
☆232Updated 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☆750Updated this week
- 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☆75Jan 5, 2026Updated last month
- Yuck is a local-search constraint solver with FlatZinc interface☆61Dec 23, 2025Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Nov 25, 2024Updated last year
- adt4j - Algebraic Data Types for Java☆147Mar 2, 2018Updated 7 years ago
- Sketch Library for vector-based models☆15Mar 30, 2025Updated 10 months ago
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Apr 6, 2023Updated 2 years ago
- In-process in-memory multi-level LRU cache☆21May 31, 2022Updated 3 years ago
- JMiniZinc☆18Oct 13, 2020Updated 5 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☆10Apr 24, 2023Updated 2 years ago
- Networking and buffer APIs and implementations for use in Copycat and Atomix☆52Jun 7, 2017Updated 8 years ago
- oj! Algorithms☆498Updated this 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
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Jul 1, 2024Updated last year
- SMTInterpol interpolating SMT solver☆70Updated this week
- 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
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- JavaFX wrapper for CodeMirror☆10Sep 19, 2017Updated 8 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 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
- Constraint Solver ACE☆36Updated this week
- Java library for running and visualizing Deep Neural Networks trained in Torch.☆26Mar 22, 2025Updated 10 months ago
- clojure expert system☆13Jun 4, 2017Updated 8 years ago
- This repository tracks versions of the VRP-REP instance file specification☆13Feb 2, 2017Updated 9 years ago
- High-performance GPU-accelerated charting library for Java Swing applications.☆25Jan 31, 2026Updated last week
- ☆13Jan 30, 2026Updated 2 weeks ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆11Jul 8, 2015Updated 10 years ago
- ☆10May 10, 2016Updated 9 years ago
- Helps you to find or define Maven UIDs for any JAR file and generate corresponding artifact install scripts.☆12Jul 16, 2024Updated last year
- A library enabling DAG structuring of data processing programs such as ETLs☆17Dec 13, 2025Updated 2 months ago