Summary
Shortlog
Changelog
Graph
Tags
Bookmarks
Branches
Files
Help
Search
simplify
tests/subscript.py
284:85000c878e8a
10:e51ec15e7979
2007-10-14
Paul Boddie
raw
annotate
files
changeset
graph
Introduced iteration over instance fixing in order to reduce the non-distinct instances as much as possible.
1
a
[
x
]
2
p
[
q
]
=
s
3
p
[
q
,
r
]
=
s