Skip to content

Improve encoding by making formulae vtype continuous, except for predicates.#16

Open
wasserfeder wants to merge 2 commits intomainfrom
improve/correct_formula_vtype
Open

Improve encoding by making formulae vtype continuous, except for predicates.#16
wasserfeder wants to merge 2 commits intomainfrom
improve/correct_formula_vtype

Commits