| Branch: | Revision:

cool / src / lib / CoAlgLogics.mli @ bc0691dc

History | View | Annotate | Download (241 Bytes)

# Date Author Comment
a57eb439 03/21/2017 09:12 PM Hans-Peter Deifel

Add vim modeline to all OCaml files

16af388e 02/15/2016 04:57 PM Christoph Egger

Make reasoner nodes include deferrals

This makes the identifying information be of type bset*bset instead of
bset and adds tracking of deferrals for propositional reasoning and --
in case of K -- for modal reasoning

7c4d2eb4 04/23/2014 11:21 AM Thorsten WiƟmann

Separate cool into library and coalg frontend