google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆51Updated 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:
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 10 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated 2 weeks ago
- Experimental metaprogramming framework☆26Updated 3 months ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated last year
- Sketch Library for vector-based models☆14Updated 2 months 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
- A flexible pure-Java OCR implementation. Eventually.☆20Updated 10 years ago
- Dynamic Distributed Dimensional Data Model☆42Updated last year
- JSON schema for Vega and Vega-Lite☆35Updated 2 months ago
- Whole Platform Language Workbench☆27Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- January project☆33Updated last month
- Simple Data Analysis language built with MPS. Generates R code. Metaprogramming in R, thus the name.☆51Updated 7 years ago
- Master repository for the JHeaps project☆48Updated 4 years ago
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- pythonic access to fastbit☆26Updated 6 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Java wrapper for ArrayFire☆36Updated 5 years ago
- ☆28Updated 8 years ago
- Presentation slides from conferences☆18Updated 5 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆35Updated 3 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Fast in-memory graph structure, powering Gephi☆75Updated 3 weeks ago
- LSHDB is a parallel and distributed data engine, which relies on Locality-Sensitive Hashing and noSQL systems, for performing record link…☆31Updated 2 years ago
- Java port of TLSH (Trend Micro Locality Sensitive Hash)☆20Updated 4 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆59Updated 2 years ago
- Mirror of Apache Clerezza☆37Updated 3 years ago
- Guice binder to configure Chained instances to form a pipeline☆11Updated 3 years ago
- RxJava bindings for Quasar☆16Updated 9 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago