MiniZinc documentation
☆16Feb 9, 2023Updated 3 years ago
Alternatives and similar repositories for minizinc-doc
Users that are interested in minizinc-doc are comparing it to the libraries listed below
Sorting:
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 7 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- A CP Portfolio Solver☆26Apr 18, 2023Updated 2 years ago
- The website for the MiniZinc constraint modelling system☆17Feb 9, 2026Updated 3 weeks ago
- Roaring bitmaps in Haskell☆13Oct 16, 2018Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆46Jan 12, 2026Updated last month
- A subfield of the complex numbers for exact calculation.☆21May 22, 2020Updated 5 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆35Feb 2, 2026Updated last month
- Persistent vectors for Haskell based on array mapped tries☆28May 9, 2022Updated 3 years ago
- Unicode alternatives for common functions and operators☆36Nov 16, 2021Updated 4 years ago
- A Web-Based Visualization Tool for Biclustering of Multivariate Time Series☆10Feb 17, 2023Updated 3 years ago
- A tool to use Haskell for game programming.☆43Dec 11, 2020Updated 5 years ago
- Access to all MiniZinc functionality directly from Python☆201Dec 15, 2025Updated 2 months ago
- Generate docset of Dash by Haddock haskell documentation tool☆40Apr 30, 2022Updated 3 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- ☆13Dec 28, 2018Updated 7 years ago
- CSL styles bundled with Zotero client☆12Jan 26, 2026Updated last month
- ☆11Jul 15, 2022Updated 3 years ago
- A suite of MiniZinc benchmarks.☆87Dec 12, 2025Updated 2 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- ☆12Apr 25, 2024Updated last year
- Dynamic Extensions for Network Objects☆11Feb 3, 2026Updated last month
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- R package to analyze shot group data: shape, precision, and accuracy☆10Aug 7, 2025Updated 6 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- collection of modules to build distributed and reliable concurrent systems in Python.☆206Sep 14, 2013Updated 12 years ago
- The MiniZinc IDE☆168Updated this week
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- ☆11Nov 16, 2017Updated 8 years ago
- A simple low-resource usage Kalman Filter using shared resources - in MyHDL☆10Oct 7, 2024Updated last year
- PowerShell abstract syntax tree rewriter library☆11Jan 30, 2019Updated 7 years ago
- ☆11Dec 4, 2015Updated 10 years ago
- Haskell Dependency Injection☆14Sep 1, 2018Updated 7 years ago
- Plotting Methods for 'simmer'☆10Jul 21, 2025Updated 7 months ago
- A Julia wrapper for pomdp-solve that interfaces with the POMDPs.jl framework☆11Nov 16, 2025Updated 3 months ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago