Alternatives and similar repositories for optistate

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

• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• damianavila / vIPer
  vIPer: a new tool for IPython notebooks.
  ☆60Updated 10 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆50Updated 8 months ago
• posterior / loom
  A streaming cross-cat inference engine
  ☆20Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated 11 months ago
• jaberg / pyautodiff
  Automatic differentiation for NumPy
  ☆42Updated 12 years ago
• dutc / didyoumean
  "Did You Mean?" Functionality on AttributeLookup
  ☆135Updated 10 years ago
• mckib2 / scikit-glpk
  GLPK, but it's Python.
  ☆14Updated 10 months ago
• Carreau / jupyter-book
  ☆19Updated 6 years ago
• NelisW / ipynb2tex
  Yet another IPython notebook to LaTeX converter - this one exports clean code easily absorbed in other reports.
  ☆15Updated 2 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• hosford42 / xcs
  Accuracy-based Learning Classifier Systems (XCS)
  ☆51Updated last year
• kootenpv / xtoy
  Automated Machine Learning: go from 'X' to 'y' without effort.
  ☆47Updated 6 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• sublee / ranking
  A library for ranking collection
  ☆38Updated 4 years ago
• takluyver / astcheck
  Check Python ASTs against templates
  ☆17Updated last year
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• uqfoundation / pyina
  MPI parallel map and cluster scheduling
  ☆61Updated 3 weeks ago
• thoppe / python-hyperoperators
  Python library for representing really, really, ridiculously large numbers.
  ☆66Updated last year
• inducer / languages-and-codegen-tutorial
  A tutorial on defining domain-specific languages and transforming them to high-performance code
  ☆81Updated 3 years ago
• oseledets / NLA
  Lectures and materials for the Fall 2014 Skoltech numerical linear algebra course
  ☆15Updated 9 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆200Updated last month
• kikocorreoso / brythonmagic
  Brython magic for the Jupyter notebook.
  ☆60Updated 4 years ago
• uqfoundation / pox
  utilities for filesystem exploration and automated builds
  ☆21Updated 3 weeks ago
• adrianopolus / probSAT
  The probSAT SAT Solver
  ☆23Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆105Updated last year
• andychase / pipeless
  Simple pipeline building framework
  ☆129Updated 9 years ago