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
- Sketch Library for vector-based models☆13Updated last year
- Experimental metaprogramming framework☆26Updated 5 months ago
- 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 last month
- Relational programming library for Java.☆42Updated 4 years ago
- Presentation slides from conferences☆18Updated 4 years ago
- Minimal implementation of predictable state in Java, inspired by Elm and Redux.☆13Updated 8 years ago
- Stochastic Simulation in Java☆120Updated last year
- Guice binder to configure Chained instances to form a pipeline☆11Updated 3 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 7 years ago
- Master repository for the JHeaps project☆47Updated 3 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆46Updated 2 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated 8 months ago
- Dynamic Distributed Dimensional Data Model☆41Updated 8 months ago
- DepAn is a direct manipulation tool for visualization, analysis, and refactoring of dependencies in large applications.☆91Updated 2 years ago
- App Engine TCK☆48Updated 3 years ago
- Mirror of Apache Clerezza☆36Updated 2 years ago
- Open Java implementation of Cuckoo Filters, Apache License v2☆12Updated 10 years ago
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆125Updated last year
- Programmatic Control Flow☆12Updated 7 years ago
- Java wrapper for ArrayFire☆36Updated 5 years ago
- The Chronos versioning project aims to provide easy-to-use and reliable versioned data storage.☆52Updated 4 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- A Java Stochastic Dynamic Programming Library☆14Updated this week
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 7 years ago
- FlexGP: Flexible ML with Genetic Programming☆18Updated 9 years ago
- Graph Analytics Engine☆260Updated 10 years ago
- A fast generic C++ library for applied and computational topology☆58Updated 8 years ago