isse-augsburg / minibrassLinks
Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
☆17Updated 2 years ago
Alternatives and similar repositories for minibrass
Users that are interested in minibrass are comparing it to the libraries listed below
Sorting:
- MiniZinc documentation☆16Updated 2 years ago
- Graph layout and drawing with GraphViz and diagrams☆10Updated 3 months ago
- a compact set of python functions for creating many types of plots and data displays in SVG for use in web pages.☆12Updated 2 years ago
- Python constraint programming library☆23Updated 3 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- A versioning file store backed by git, darcs, or mercurial☆35Updated 2 weeks ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- Rapidly create full-featured command line interfaces with help, subcommand dispatch, and validation.☆13Updated 5 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago
- Sources for OpenDreamKit's website☆16Updated last year
- Fast & easy command line tool for converting XML files to JSON☆96Updated last year
- Material for UK-TUG's LaTeX for Beginners course☆28Updated 2 years ago
- Framework for web apps, using an Elm frontend and Python 3.5+ backend☆10Updated 2 years ago
- types for representing structured documents☆115Updated 3 weeks ago
- Textual, eXecutable, Translatable UML☆26Updated 6 years ago
- Access to all MiniZinc functionality directly from Python☆163Updated 2 months ago
- Scientific Mind Mapping☆14Updated 7 years ago
- Fast, light converter of xml to json capable of handling huge xml files☆49Updated 7 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart☆28Updated 2 years ago
- The MiniZinc IDE☆151Updated last month
- small MiniZinc examples demonstrating various language features☆125Updated 7 years ago
- DMX Knowledge Building Platform☆86Updated 3 months ago
- Simple tangler for Pandoc☆15Updated 2 years ago
- A benchmark library for constraints☆94Updated this week
- Always show full card descriptions in Trello☆8Updated 5 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Pandoc-compatible templating system☆54Updated 10 months ago
- Operations Monitoring & Analysis with Apache NiFi, Zeppelin, and Spark☆11Updated 8 years ago
- The GAP package Semigroups☆26Updated this week