google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆52Updated 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:
- Experimental metaprogramming framework☆26Updated 4 months ago
- 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:☆47Updated 3 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- Sketch Library for vector-based models☆14Updated 3 months ago
- Home of RDF2Go and RDFReactor☆13Updated 9 years ago
- Dynamic Distributed Dimensional Data Model☆43Updated last year
- SDK, Sample-Code, UI-Widgets, Demos☆37Updated 7 months ago
- Tool to create and edit Pikov pixel art Markov chain animations.☆17Updated 4 years ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 11 years ago
- ibmgraphblas☆27Updated 6 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated last year
- Scalar and vector adjoint algorithmic differentiation (AAD)☆29Updated 8 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆25Updated 5 years ago
- Provides additional classes for automatic differentiations (e.g. backward automatic differentiation - aka AAD).☆17Updated 6 years ago
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 8 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated last month
- Guice binder to configure Chained instances to form a pipeline☆11Updated 4 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- Simple CFG module for ExtendJ☆11Updated 8 years ago
- ☆20Updated 8 years ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆12Updated 10 years ago
- App Engine TCK☆48Updated 3 years ago
- [Deprecated]: Exploration library☆16Updated 2 years ago
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆11Updated 9 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last week
- Alchemist: an Apache Spark<->MPI interface☆26Updated 7 years ago
- Grapht dependency injector.☆28Updated last year