Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • abstract-clean-seff
  • split-tclfail-level
  • master default protected
  • 8.14.0
  • 8.13+no
  • 8.13
6 results
Blame Permalink
Forked from BESSON Frederic / itauto
Source project has a limited visibility.
  • BESSON Frederic's avatar
    75221106
    Closes #10 · 75221106
    BESSON Frederic authored 
    - The code ignores errors due to evars. This might not be sufficient.
- conflict clauses are memoised. This is a workaround for a weakness of the prover.
    75221106
    History
    Closes #10
    BESSON Frederic authored 
    - The code ignores errors due to evars. This might not be sufficient.
- conflict clauses are memoised. This is a workaround for a weakness of the prover.