ISL -> isl
[linpy.git] / examples / bac2014.py
index bb8969d..775be66 100755 (executable)
@@ -1,6 +1,6 @@
 #!/usr/bin/env python3
 
-from pypol import *
+from linpy import *
 
 x, y, z = symbols('x y z')
 DF = Eq(x, y) & Eq(z, 6 - 2*x)