conda / pycosat

Related projects ⓘ

Alternatives and complementary repositories for pycosat

• llllllllll / codetransformer
  Python code object transformers
  ☆184Updated 8 months ago
• HPAC / matchpy
  A library for pattern matching on symbolic expressions in Python.
  ☆164Updated 6 months ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• borntyping / python-infix
  An experiment to use infix operators in Python
  ☆56Updated 5 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆76Updated 5 years ago
• mdickinson / bigfloat
  Python wrapper for MPFR, providing high-precision floating-point arithmetic
  ☆43Updated 7 months ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆58Updated 2 years ago
• textX / Arpeggio
  Parser interpreter based on PEG grammars written in Python http://textx.github.io/Arpeggio/
  ☆270Updated 2 weeks ago
• pyga / parsley
  ☆288Updated 10 months ago
• mutpy / astmonkey
  Set of tools to play with Python AST.
  ☆83Updated 2 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆232Updated 2 weeks ago
• serprex / byteplay
  face Python bytecode metaprogramming API fork
  ☆72Updated 4 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated last month
• grantjenks / python-pattern-matching
  Python pattern matching like functional languages.
  ☆162Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆574Updated 2 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆95Updated 8 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 3 weeks ago
• AndreaCensi / contracts
  PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified…
  ☆399Updated last week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 11 months ago
• inducer / pymbolic
  A simple package to do symbolic math (focus on code gen and DSLs)
  ☆108Updated this week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 5 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 7 years ago
• taschini / pyinterval
  PyInterval — Interval arithmetic in Python
  ☆83Updated 7 years ago
• diofant / diofant
  A Python CAS library
  ☆71Updated this week
• simonpercivall / astunparse
  An AST unparser for Python
  ☆223Updated last year
• mrocklin / unification
  ☆72Updated 3 years ago
• DanielStutzbach / heapdict
  a heap with decrease-key and increase-key operations
  ☆99Updated 5 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆91Updated 11 months ago
• iskandr / parakeet
  Runtime compiler for numerical Python
  ☆233Updated 3 years ago
• sympy / sympy-paper
  Repo for the paper "SymPy: symbolic computing in python"
  ☆47Updated 4 years ago