cvc4.drv 51 Bytes
Newer Older
François Bobot's avatar
François Bobot committed
1 2
import "cvc4_bare.drv"
import "discrimination.gen"