google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆51Updated 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:
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 10 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated last year
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Sketch Library for vector-based models☆14Updated 2 months ago
- Experimental metaprogramming framework☆26Updated 4 months ago
- ☆28Updated 8 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Updated 8 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated last week
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆21Updated 10 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆46Updated 3 years ago
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 8 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- ibmgraphblas☆27Updated 6 years ago
- Dynamic Distributed Dimensional Data Model☆43Updated last year
- ☆58Updated 8 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- Relational programming library for Java.☆42Updated 4 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- ☆15Updated 7 years ago
- ☆26Updated 9 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- Mirror of Apache Clerezza☆37Updated 3 years ago
- Automatic offload of user-written Spark kernels to accelerators☆18Updated 8 years ago
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- LSHDB is a parallel and distributed data engine, which relies on Locality-Sensitive Hashing and noSQL systems, for performing record link…☆31Updated 2 years ago
- Software Language Processing Suite☆47Updated 3 years ago
- Presentation slides from conferences☆18Updated 5 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 2 months ago