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
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 4 months ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆21Updated 11 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated this week
- Dynamic Distributed Dimensional Data Model☆42Updated last year
- Experimental metaprogramming framework☆26Updated last month
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Updated 8 years ago
- Stochastic Simulation in Java☆126Updated 7 months ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last week
- ☆57Updated 8 years ago
- SAX parser for JSon and YAML (alpha)☆23Updated 9 years ago
- A framework for scalable graph computing.☆151Updated 7 years ago
- ibmgraphblas☆27Updated 7 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆61Updated 2 years ago
- Sketch Library for vector-based models☆15Updated 8 months ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- DepAn is a direct manipulation tool for visualization, analysis, and refactoring of dependencies in large applications.☆91Updated 3 years ago
- Java wrapper for ArrayFire☆37Updated 6 years ago
- Automatic offload of user-written Spark kernels to accelerators☆18Updated 9 years ago
- [ARCHIVED] C GPU DataFrame Library☆139Updated 7 years ago
- A Java library for fast symbolic-numeric computation☆80Updated 5 years ago
- OrpheusDB☆86Updated 4 years ago
- Jupyter kernel for the LAPPS Services DSL.☆23Updated 7 years ago
- Master repository for the JHeaps project☆51Updated 4 years ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Updated last year
- A Java Stochastic Dynamic Programming Library☆13Updated 3 months ago