google / kiwi-solver
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆50Updated 5 years ago
Alternatives and similar repositories for kiwi-solver:
Users that are interested in kiwi-solver are comparing it to the libraries listed below
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Experimental metaprogramming framework☆26Updated last month
- Sketch Library for vector-based models☆13Updated last year
- 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 11 months ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated last week
- Java wrapper for ArrayFire☆36Updated 5 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆20Updated 10 years ago
- ☆15Updated 7 years ago
- App Engine TCK☆48Updated 3 years ago
- Automatic offload of user-written Spark kernels to accelerators☆18Updated 8 years ago
- Relational programming library for Java.☆42Updated 4 years ago
- Guice binder to configure Chained instances to form a pipeline☆11Updated 3 years ago
- Scalar and vector adjoint algorithmic differentiation (AAD)☆29Updated 8 years ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 10 years ago
- Presentation slides from conferences☆18Updated 5 years ago
- ☆58Updated 8 years ago
- JavaCL: OpenCL bindings for Java☆88Updated 2 years ago
- Dynamic Distributed Dimensional Data Model☆41Updated 11 months ago
- A system and a Java API for large-scale graph processing based on Google's Pregel☆64Updated 12 years ago
- Low Level Java Virtual Machine☆25Updated 11 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Updated 8 years ago
- A Java library for fast symbolic-numeric computation☆76Updated 4 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Stochastic Simulation in Java☆122Updated last year
- FlexGP: Flexible ML with Genetic Programming☆18Updated 10 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆59Updated last year
- ByteBuffer collection classes for java and jvm-based languages.☆33Updated 6 years ago