Alternatives and similar repositories for pycosat:

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

• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆240Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆583Updated last month
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆99Updated 2 months ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 6 years ago
• simonpercivall / astunparse
  An AST unparser for Python
  ☆226Updated last year
• llllllllll / codetransformer
  Python code object transformers
  ☆185Updated last year
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆167Updated 10 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆92Updated last year
• serprex / byteplay
  face Python bytecode metaprogramming API fork
  ☆71Updated 4 years ago
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆87Updated 7 years ago
• paolodragone / pymzn
  A Python wrapper for the MiniZinc tool pipeline.
  ☆55Updated 3 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆72Updated this week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆96Updated last year
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆73Updated 5 years ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆83Updated 5 years ago
• textX / Arpeggio
  Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
  ☆272Updated 4 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated last week
• eomahony / Numberjack
  Python Combinatorial Optimisation Platform
  ☆158Updated 3 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆412Updated last month
• grantjenks / python-pattern-matching
  Python pattern matching like functional languages.
  ☆161Updated 4 years ago
• SylvainDe / DidYouMean-Python
  Module to have suggestions in case of errors (NameError, AttributeError, etc).
  ☆120Updated last month
• serge-sans-paille / gast
  Python AST that abstracts the underlying Python version
  ☆144Updated 3 weeks ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆113Updated 2 weeks ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆99Updated last year
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆104Updated 2 years ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆64Updated 9 months ago
• erezsh / plyplus
  a friendly yet powerful LR-parser written in Python
  ☆267Updated 6 years ago