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
- 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 2 months ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆53Updated 3 weeks ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 8 years ago
- GPU-accelerated natural language parser☆37Updated 12 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆21Updated 11 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last month
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 4 months ago
- SDK, Sample-Code, UI-Widgets, Demos☆37Updated last year
- Safelight is a web application that aids in developing Halide programs. It currently works for x86-64 Linux and Mac OS machines running t…☆22Updated 7 years ago
- Java implementation of the Simple Genetic Algorithm, the Univariate Marginal Distribution Algorithm, the Extended Compact Genetic Algorit…☆12Updated 10 years ago
- Stochastic Simulation in Java☆126Updated 7 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- ☆17Updated 5 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 weeks ago
- Scientific library for high-precision computations and research☆49Updated 8 years ago
- The Ceylon Web IDE☆25Updated 7 years ago
- Dynamic Distributed Dimensional Data Model☆42Updated last year
- flypy - A runtime compiler for Python☆38Updated 11 years ago
- [ARCHIVED] C GPU DataFrame Library☆139Updated 7 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- Implementation of the Squarified Treemap algorithm☆10Updated 8 years ago
- Conditional Associative Logic Memory☆27Updated 8 years ago
- Jupyter kernel for the LAPPS Services DSL.☆24Updated 7 years ago
- Home of RDF2Go and RDFReactor☆13Updated 9 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆27Updated 6 years ago
- A fast generic C++ library for applied and computational topology☆60Updated 9 years ago