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
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated last month
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 10 years ago
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 7 years ago
- Presentation slides from conferences☆18Updated 5 years ago
- Sketch Library for vector-based models☆14Updated 3 weeks ago
- Java wrapper for ArrayFire☆36Updated 5 years ago
- Stochastic Simulation in Java☆122Updated last year
- Experimental metaprogramming framework☆26Updated 2 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- TensorDB: In-Database Tensor Manipulation with Tensor-Relational Query Plans☆20Updated 10 years ago
- Guice binder to configure Chained instances to form a pipeline☆11Updated 3 years ago
- SuanShu is a math library of numerical methods for numerical analysis. - http://numericalmethod.com/up/suanshu/☆25Updated 3 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated 2 weeks ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆11Updated 9 years ago
- AirConcurrentMap is a fast, memory efficient Java ConcurrentNavigableMap implementation☆32Updated 7 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆60Updated last year
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- JavaCL: OpenCL bindings for Java☆88Updated 2 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
- Dynamic Distributed Dimensional Data Model☆42Updated 11 months ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆41Updated 10 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- ByteBuffer collection classes for java and jvm-based languages.☆33Updated 7 years ago
- A flexible pure-Java OCR implementation. Eventually.☆20Updated 10 years ago
- Apache Commons Graph (Sandbox)☆33Updated last week
- Master repository for the JHeaps project☆47Updated 4 years ago
- Parallel boolean circuit evaluation☆20Updated 6 years ago
- statistics, data mining and machine learning toolbox☆72Updated 3 months ago