• Alexandre Duret-Lutz's avatar
    Finalize Kripke interface. · 0d9d0b08
    Alexandre Duret-Lutz authored
    * src/kripke/fairkripke.hh, src/kripke/fairkripke.cc,
    * src/kripke/kripke.hh, src/kripke/kripke.cc: Finalize and
    document the Kripke interface.  I have tested it by updating
    checkpn to use it.
To find the state of this project's repository at the time of any of these versions, check out the tags.