google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆54Updated 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
- 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
- Experimental metaprogramming framework☆26Updated 3 months ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆80Updated 6 months ago
- [ARCHIVED] C GPU DataFrame Library☆139Updated 7 years ago
- ☆57Updated 8 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆63Updated 13 years ago
- flypy - A runtime compiler for Python☆38Updated 11 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Updated 4 years ago
- Enables Jython to load native CPython extensions.☆157Updated 5 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- The Cognitive Foundry is an open-source Java library for building intelligent systems using machine learning☆134Updated 4 years ago
- The Ceylon Web IDE☆25Updated 7 years ago
- Relational programming library for Java.☆45Updated 5 years ago
- Sketch Library for vector-based models☆15Updated 10 months ago
- SDK, Sample-Code, UI-Widgets, Demos☆37Updated last year
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 8 years ago
- The Musketeer workflow manager.☆42Updated 7 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆15Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Blazegraph Tinkerpop3 Implementation☆62Updated 5 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆61Updated 2 years ago
- Fast in-memory graph structure, powering Gephi☆79Updated last week
- Red/black tree with support for fast accumulation of values in a key range☆18Updated last year
- jfuzzylite: a fuzzy logic control library in Java☆45Updated 5 years ago
- Stochastic Simulation in Java☆126Updated 9 months ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year