experiment: which omega can be replaced by cutsat? #5254
Annotations
2 errors and 10 warnings
|
build mathlib
Process completed with exit code 1.
|
|
get cache (2/3 - test Mathlib.Init cache)
Process completed with exit code 3.
|
|
build mathlib
`cutsat` can replace `omega`
|
|
build mathlib
`cutsat` can replace `omega`
|
|
build mathlib
`cutsat` can replace `omega`
|
|
build mathlib
`cutsat` failed where `omega` succeeded.
|
|
build mathlib
`cutsat` failed where `omega` succeeded.
|
|
build mathlib
`cutsat` failed where `omega` succeeded.
|
|
build mathlib
`cutsat` failed where `omega` succeeded.
|
|
build mathlib
`cutsat` can replace `omega`
|
|
build mathlib
`cutsat` can replace `omega`
|
|
build mathlib
`cutsat` can replace `omega`
|
Loading