Basic directory with one file for the GU MIR reasoner.
files for basic reasoner
fixed bug with decompose function
fixed bug with decompose in mir reasoner
logging stdout and snapshot of euler toolkit
update README
fix imcomplete dot execution
bugs in simple case with overlaps
add user,host,date into Mingmin's snap out
update save all worlds
initial version
=initial version
minor change to regression scripts
use Callable decorator
use Callable decorator
update euler2 from time to time
fixed save all worlds bug
new colors for the lattice
articulation2.py