merge from afp-2021
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPabc0aadc9aad: metadata for Belief_Revision
rAFPe69dd05c4466: prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- b8642e91d99f more realistic timeout;Author
- 7a08c3aec8d9 updated website/email addressAuthor
- 1c4e253f1310 tuned proofs;Author