π« 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 9 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
- Wordpress hosting with auto-scaling - Free Trial β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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.β18Feb 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 4 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Handy python wrapper around Potassco's Clingo ASP solver.β37Feb 12, 2026Updated 2 months ago
- 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
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ConstraintSolver in Julia: Blog posts ->β142Apr 30, 2022Updated 3 years ago
- 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β16Jan 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
- Relational version of parsing with derivatives codeβ43Feb 15, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speedβ31Updated this week
- 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