π« 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Emulate dynamic dispatch and sealed classes using a proxy enum, which defers all method calls to its variants.β20Jun 6, 2021Updated 4 years ago
- Accurately read text from screenshots using cloud services.β11Jul 8, 2025Updated 8 months ago
- Rust NonEmpty sliceβ13Jul 5, 2021Updated 4 years ago
- Constraint programming in Rustβ112Nov 22, 2023Updated 2 years ago
- Enforce Rust documentation correctnessβ14Dec 1, 2022Updated 3 years ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Theory propagator for linear programming using clingo theory language and interface.β11Dec 2, 2021Updated 4 years ago
- Code release for "Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search" published at NeurIPS '24.β17Feb 21, 2025Updated last year
- Static analyzer for dynamics of Automata Networksβ12Feb 3, 2021Updated 5 years ago
- Training of boolean logic models of signalling networks using prior knowledge networks and perturbation data.β13Nov 24, 2025Updated 4 months ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlabβ10Apr 19, 2018Updated 7 years ago
- A minimalist, Rust-powered, `no-std`, zero dependency stack machine library for executing domain specific interpreted languages.β13Aug 9, 2022Updated 3 years ago
- A Python Library to interact with the Cell Collective API v2β12Dec 8, 2022Updated 3 years ago
- Playing with io_uring in Zigβ17May 24, 2020Updated 5 years ago
- Transform your code in turing-complete waysβ13Mar 28, 2022Updated 3 years ago
- NordVPN Special Discount Offer β’ AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Handy python wrapper around Potassco's Clingo ASP solver.β37Feb 12, 2026Updated last month
- Compress graphsβ12Jan 6, 2020Updated 6 years ago
- β16May 4, 2021Updated 4 years ago
- A personal wikiβ10Jun 26, 2020Updated 5 years ago
- A library for extracting and validating links.β21Aug 17, 2024Updated last year
- MiniSat reimplemented in Rustβ20Apr 18, 2018Updated 7 years ago
- Rust binding of fortran Limited memory LBFGS subroutineβ14Jul 30, 2019Updated 6 years ago
- A documentation generator (of the aesthetic variety) for command line programsβ18Oct 26, 2013Updated 12 years ago
- OWASP Top 10 for LLM ζ₯ζ¬θͺηworking repositoryβ30Aug 5, 2024Updated last year
- DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ConstraintSolver in Julia: Blog posts ->β142Apr 30, 2022Updated 3 years ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speedβ28Mar 19, 2026Updated last week
- A simple snake game written in Rust using sdl2β11May 4, 2020Updated 5 years ago
- β18May 4, 2020Updated 5 years ago
- A library for conveniently displaying well-formatted, and good looking errors to users of CLI applications. Useful for bubbling up unrecoβ¦β18May 15, 2020Updated 5 years ago
- Matrix chat bot written in Rustβ15Jan 25, 2026Updated 2 months ago
- Visual Studio Code syntax highlighting for Answer Set Programmingβ13Jan 2, 2025Updated last year
- Place small arrays on the stack with a low-cost!β17Oct 26, 2024Updated last year
- A supervised machine learning library.β12May 19, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Relational version of parsing with derivatives codeβ43Feb 15, 2013Updated 13 years ago
- Access HTML and other pasteboards from JS and command lineβ37Apr 24, 2022Updated 3 years ago
- Spherical harmonics and solid harmonics in Rustβ19May 14, 2023Updated 2 years ago
- Source code for SimBac, a bacterial genome simulatorβ14Sep 20, 2024Updated last year
- A bachelor thesis project about autonomous car maneuver around roundabout using RL-DQNβ14Nov 26, 2023Updated 2 years ago
- π§ A solver for epistemic logic programs.β13Dec 14, 2024Updated last year
- An example of back-propagation implemented in Haskell.β26Nov 7, 2014Updated 11 years ago