Skip to content

Instantly share code, notes, and snippets.

@debugger22

debugger22/gist:2891cde42448fe990d49

Created July 25, 2014 17:50
Show Gist options
  • Save debugger22/2891cde42448fe990d49 to your computer and use it in GitHub Desktop.
Save debugger22/2891cde42448fe990d49 to your computer and use it in GitHub Desktop.
Download ZIP
SymPy + BinPy! Voila!
Raw
gistfile1.txt
In [21]: from BinPy import Connector
In [22]: from sympy import *
In [23]: from sympy.abc import x, y
In [24]: conn = Connector(Xor(True, x, y))
In [25]: conn
Out[25]: Not(Xor(x, y))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment