Commit Verlauf

Autor SHA1 Nachricht Datum
  B. Watson 5ae81d7905 academic/cvc4: Fix slack-desc. vor 4 Jahren
  Nick Smallbone 3015af4e87 academic/cvc4: Added (Theorem Solver). vor 5 Jahren