smtlib-utils.0.4: Add missing constraint (uses --infer-write-query)
smtlib-utils.0.4: Add missing constraint (uses --infer-write-query)
emillon/opam-repository,fpottier/opam-repository,pirbo/opam-repository,emillon/opam-repository,kkirstein/opam-repository,fpottier/opam-repository,codinuum/opam-repository,Leonidas-from-XIV/opam-repository,nberth/opam-repository,pirbo/opam-repository,jhwoodyatt/opam-repository,Leonidas-from-XIV/opam-repository,ocaml/opam-repository,nberth/opam-repository,ocaml/opam-repository,jhwoodyatt/opam-repository,pqwy/opam-repository,pqwy/opam-repository,kkirstein/opam-repository,codinuum/opam-repository