fact: Definition valid rho (d:dimacs) := afold_left _ true andb (amap (C_interp_or rho) d).
imports: Bool Int63 PArray Misc State SMT_terms Syntactic Arithmetic Operators Assumptions Cnf Euf Lia BVList Bva_checker Array_checker