google / kiwi-solverLinks
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
☆53Updated 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:
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Experimental metaprogramming framework☆26Updated 6 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆49Updated 3 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆79Updated 3 weeks ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last month
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Alenka JDBC is a library for accessing and manipulating data with the open-source GPU database Alenka.☆20Updated 11 years ago
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- DepAn is a direct manipulation tool for visualization, analysis, and refactoring of dependencies in large applications.☆91Updated 3 years ago
- JAutoDiff : A Pure Java Library for Automatic Differentiation☆42Updated 11 years ago
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated 3 weeks ago
- Dynamic Distributed Dimensional Data Model☆43Updated last year
- SDK, Sample-Code, UI-Widgets, Demos☆37Updated 8 months ago
- Evolutionary Algorithms Library☆63Updated 5 years ago
- JSuffixArrays (Suffix Arrays in Java)☆59Updated 8 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Stochastic Simulation in Java☆125Updated 3 months ago
- The Cognitive Foundry is an open-source Java library for building intelligent systems using machine learning☆134Updated 4 years ago
- flypy - A runtime compiler for Python☆38Updated 11 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- Java port of TLSH (Trend Micro Locality Sensitive Hash)☆21Updated 4 years ago
- Relational programming library for Java.☆45Updated 4 years ago
- Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.☆61Updated 2 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆15Updated 3 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 weeks ago
- ☆17Updated 5 years ago
- Java Constraint Programming solver☆228Updated last year
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- Safelight is a web application that aids in developing Halide programs. It currently works for x86-64 Linux and Mac OS machines running t…☆22Updated 6 years ago
- The Ceylon Web IDE☆25Updated 6 years ago