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:
- Experimental metaprogramming framework☆26Updated 7 months 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
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- ibmgraphblas☆27Updated 7 years ago
- Fast in-memory graph structure, powering Gephi☆74Updated this week
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 2 months ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated 2 weeks ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated this week
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- [ARCHIVED] C GPU DataFrame Library☆139Updated 6 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆21Updated 11 years ago
- Stochastic Simulation in Java☆125Updated 5 months ago
- ☆17Updated 5 years ago
- Evolutionary Algorithms Library☆64Updated 5 years ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- ☆57Updated 8 years ago
- Relational programming library for Java.☆45Updated 4 years ago
- High-Performance Streaming Graph Analytics on GPUs☆33Updated 6 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Dynamic Distributed Dimensional Data Model☆43Updated last year
- A system and a Java API for large-scale graph processing based on Google's Pregel☆63Updated 12 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- Google Cloud Dataflow pipelines such as Identity-By-State as well as useful utility classes.☆37Updated 2 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆61Updated 2 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- Jupyter kernel for the LAPPS Services DSL.☆22Updated 7 years ago
- A Java library for fast symbolic-numeric computation☆79Updated 5 years ago