Alternatives and similar repositories for minibrass

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

• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆94Updated 8 months ago
• openETCS / toolchain
  WP7: Top Level Project for the toolchain
  ☆27Updated 9 years ago
• w3c / omn
  W3C Federated Infrastructures Community Group
  ☆21Updated 5 years ago
• MiniZinc / minizinc.github.io
  The website for the MiniZinc constraint modelling system
  ☆16Updated this week
• anmavrid / DesignBIP
  ☆11Updated 7 years ago
• yiboyang / graphrel
  Intuitive graph theory explorer powered by d3
  ☆20Updated 8 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• lruzicka / sphinx_asciidoc
  AsciiDoc Builder and Writer for Sphinx
  ☆20Updated 7 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 7 years ago
• pepprseed / svgdatashapes
  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
• xoolive / facile
  Python constraint programming library
  ☆23Updated 2 months ago
• comby-tools / comby-ui
  Try it! https://comby.live
  ☆10Updated 2 years ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 5 months ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆60Updated 11 months ago
• terminusdb / terminus-schema
  Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB
  ☆10Updated 5 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• ontohub / ontohub
  A web-based repository for distributed ontologies.
  ☆32Updated 7 years ago
• madnight / asciichart
  ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart
  ☆28Updated 2 years ago
• witheve / eve-examples
  Various examples of functionality in Eve and how to build apps.
  ☆14Updated 8 years ago
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 4 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• wbkd / d3-discovery
  A tool for exploring D3.js plugins
  ☆50Updated 2 years ago
• dreftymac / dynamic.yaml
  DEPRECATED: YAML-based data transformations
  ☆15Updated 5 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆46Updated 2 years ago
• delftswa / delftswa.github.io
  The final site for the chapters of the students of IN4315 of Delft University of Technology
  ☆20Updated 5 years ago
• lyokha / vim-publish-helper
  vim plugin that makes vim syntax highlighting engine available in pandoc
  ☆16Updated 7 months ago