Alternatives and similar repositories for minibrass

Users that are interested in minibrass are comparing it to the libraries listed below

• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆96Updated 2 weeks ago
• moajohansson / IsaHipster
  Theory Exploration for Isabelle using HipSpec
  ☆20Updated last year
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆105Updated this week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆151Updated 2 months ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆384Updated this week
• k-bx / par
  Small utility that runs multiple computations in parallel
  ☆41Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago
• jbenner-radham / awesome-semantic-web
  A curated list of various semantic web and linked data resources.
  ☆58Updated 2 years ago
• ivanov / popular-front
  Jovyan Popular Front: Prototyping UI and UX ideas for Jupyter notebooks (in Elm).
  ☆16Updated 6 years ago
• mark-watson / kbnlp.hs
  Haskell NLP Work
  ☆17Updated 8 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated last week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• coin-or / Cmpl
  <Coliop|Coin> Mathematical Programming Language
  ☆12Updated last year
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last week
• carlssonia / adaptive
  ☆10Updated 12 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆72Updated 6 months ago
• geoffchu / chuffed
  The CP solver Chuffed
  ☆20Updated 8 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago