Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • feature/timeout-nnenum
  • feature/keep_vectorization
  • 3.0
  • 2.1
  • 2.0
  • 1.0
7 results
Compare
user avatar
[Marabou] Also split premises to create different tasks.
François Bobot authored 
The axiom a \/ b gives two different tasks.
db54e313
History
user avatar db54e313
History