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
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆19Updated 10 years ago
- Sketch Library for vector-based models☆13Updated last year
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆78Updated 9 months 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
- Java wrapper for ArrayFire☆36Updated 5 years ago
- 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
- Mirror of Apache VXQuery☆20Updated 6 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated 2 months ago
- Experimental metaprogramming framework☆26Updated this week
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- An inference engine for extensional untyped λ-calculus☆17Updated 2 years ago
- Software Language Processing Suite☆45Updated 3 years ago
- pythonic access to fastbit☆26Updated 6 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆50Updated 7 years ago
- Relational programming library for Java.☆42Updated 4 years ago
- Presentation slides from conferences☆18Updated 5 years ago
- Whole Platform Language Workbench☆27Updated 8 months ago
- Home of RDF2Go and RDFReactor☆13Updated 8 years ago
- GPU-accelerated natural language parser☆36Updated 11 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 2 weeks ago
- Open Java implementation of Cuckoo Filters, Apache License v2☆12Updated 10 years ago
- SDK, Sample-Code, UI-Widgets, Demos☆37Updated 2 months ago
- ☆58Updated 8 years ago
- This is a porting of TypeSafe's Reactive Stock example to Quasar Actors and Comsat Web Actors☆17Updated 8 years ago