🫓 A parser for the FlatZinc modelling language
☆14Feb 27, 2025Updated last year
Alternatives and similar repositories for flatzinc
Users that are interested in flatzinc are comparing it to the libraries listed below
Sorting:
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Emulate dynamic dispatch and sealed classes using a proxy enum, which defers all method calls to its variants.☆19Jun 6, 2021Updated 4 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- ConstraintSolver in Julia: Blog posts ->☆142Apr 30, 2022Updated 3 years ago
- Проект для перевода чисел, записанных в текстовом виде на русском языке.☆11Apr 5, 2022Updated 3 years ago
- The command line tool for htmd☆41Nov 24, 2025Updated 3 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆37Feb 12, 2026Updated 3 weeks ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- ☆29Nov 19, 2025Updated 3 months ago
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated 11 months ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- The CRT X-Y library (libcrtxy) is meant to be used by video game programmers who wish to create games in the style of vector graphics a…☆13Sep 2, 2023Updated 2 years ago
- Python bindings to pressio☆10Oct 18, 2022Updated 3 years ago
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- Vue Composition API for validating form.☆12Updated this week
- Pythonic argument parser, with type description☆12Aug 22, 2020Updated 5 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- Some code to examine and modify your experience of Twitter.☆11May 30, 2020Updated 5 years ago
- A simple snake game written in Rust using sdl2☆11May 4, 2020Updated 5 years ago
- a figma plugin for creating oblique projections☆10Nov 11, 2020Updated 5 years ago
- Supplementary scripts for Z1+ users☆16Dec 12, 2025Updated 2 months ago
- ☆12Jun 29, 2018Updated 7 years ago
- Go bindings for the Jupyter protocol☆10Jan 8, 2024Updated 2 years ago
- Fast Vector Operations on Pretty Big Data☆13Nov 17, 2015Updated 10 years ago
- Accurately read text from screenshots using cloud services.☆11Jul 8, 2025Updated 7 months ago
- Knowledge management system based on graph data structure☆13Jul 2, 2024Updated last year
- ☆12Sep 7, 2024Updated last year
- An extension of GeoJSON that encodes topology. Based on the JavaScript project☆11Nov 10, 2025Updated 3 months ago
- Code to transform lerobot dataset into rlds data format☆12Mar 17, 2025Updated 11 months ago