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)
  ☆193Updated 2 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• johnyf / astutils
  Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
  ☆17Updated 5 months ago
• diofant / diofant
  A Python CAS library
  ☆72Updated last month
• 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
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆257Updated last week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• mdickinson / bigfloat
  Python wrapper for MPFR, providing high-precision floating-point arithmetic
  ☆44Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆107Updated 10 months ago
• ikotler / pythonect
  A general-purpose dataflow programming language based on Python, written in Python
  ☆205Updated 4 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆207Updated 3 weeks ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 3 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆105Updated 2 years ago
• sagemath / cysignals
  cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/
  ☆44Updated last week
• runtimeverification / python-semantics
  The semantics of Python in K
  ☆20Updated 12 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• gaphor / generic
  Generic programming library for Python
  ☆61Updated this week
• webmaven / python-parsing-tools
  A list of Python parsing tools
  ☆117Updated 5 years ago
• jakeret / hope
  HOPE: A Python Just-In-Time compiler for astrophysical computations
  ☆383Updated 4 years ago
• OKullmann / oklibrary
  A research platform and active library for generalised SAT solving
  ☆33Updated 4 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆73Updated 6 years ago
• inducer / languages-and-codegen-tutorial
  A tutorial on defining domain-specific languages and transforming them to high-performance code
  ☆82Updated 3 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• imh / hipsterplot
  Command line plotting for python
  ☆146Updated 3 years ago
• cvxgrp / qcml
  A Python parser for generating Python/C/Matlab solver interfaces
  ☆43Updated 8 years ago