google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆53Updated 6 years ago
Alternatives and similar repositories for kiwi-solver
Users that are interested in kiwi-solver are comparing it to the libraries listed below
Sorting:
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 6 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆53Updated this week
- Experimental metaprogramming framework☆26Updated 2 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- [ARCHIVED] C GPU DataFrame Library☆139Updated 7 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 5 months ago
- SAX parser for JSon and YAML (alpha)☆23Updated 9 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆21Updated 11 years ago
- The Ceylon Web IDE☆25Updated 7 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- Scalar and vector adjoint algorithmic differentiation (AAD)☆28Updated 8 years ago
- Dynamic Distributed Dimensional Data Model☆42Updated last year
- Sketch Library for vector-based models☆15Updated 9 months ago
- ☆57Updated 8 years ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆11Updated 10 years ago
- Relational programming library for Java.☆45Updated 5 years ago
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆131Updated 6 months ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- ibmgraphblas☆27Updated 7 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Updated 4 years ago
- jfuzzylite: a fuzzy logic control library in Java☆45Updated 5 years ago
- Jupyter kernel for the LAPPS Services DSL.☆24Updated 7 years ago
- [GSoC] Distributed Data Structures - Collections Framework for Chapel language☆15Updated 8 years ago
- ☆17Updated 6 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 2 weeks ago
- Conditional Associative Logic Memory☆27Updated 8 years ago
- DepAn is a direct manipulation tool for visualization, analysis, and refactoring of dependencies in large applications.☆91Updated 3 years ago