From 03/09/2016 to 04/07/2016
- 05:35 PM Revision 07a36b24 (cool): Reorganize code, start from Sat nodes as well
- Not only finishing cycles but also plain sat nodes may cause a node to
- 04:16 AM Revision 67b07e54 (cool): Restrict finishing nodes used as startingpoint
- Only finishing nodes with enough Open / Sat children are to be
considered as startingpoints
Also accept already Sati...
- 02:38 AM Revision 1d5d9896 (cool): Call new propagateSatMu instead of old propagateSat
- 02:37 AM Revision 6bbde09c (cool): preliminary propafateSat for μ-Calculus
- This still produces wrong results: It assumes every node with empty
focus to be sat.
- 02:35 AM Revision 6d64bc5a (cool): whitespace cleanup
- 02:34 AM Revision 50df1dc2 (cool): Add function to determin size of Core / State set
Also available in: Atom