Core-finding - #79

Open

vraman wants to merge 6 commits into

developmentfrom

update_cores_to_strategy

Commits on Jul 8, 2014

allow FSA strategies to have undefined propositions, for use in counterstrategy deadlock states
cfinucane
committed
df1dd0b
updated Refine Analysis to work with the latest strategy.py
wongkaiweng
committed
8f65fe1

Commits on Aug 17, 2014

unrealizable and unsatisfiable cores -- working version for journal submission
vraman
committed
e5ace91
debugging, cleaning up output
vraman
committed
014c04c

Commits on Aug 18, 2014

added missing file for iterated realizability
vraman
committed
acc8c61

Commits on Aug 21, 2014

cleaned up output
vraman
committed
273b864