catala/compiler/verification/dune

mirror of https://github.com/CatalaLang/catala.git synced 2024-11-09 22:16:10 +03:00
(library
 (name verification)
 (public_name catala.verification)
 (libraries bindlib utils dcalc runtime z3 calendar))

(documentation
 (package catala)
 (mld_files verification))
Renamed and grouped modules cleanly 2022-01-08 20:37:04 +03:00			`(library`
			`(name verification)`
			`(public_name catala.verification)`
Encode dates to Z3 [skip ci] 2022-01-14 03:54:33 +03:00			`(libraries bindlib utils dcalc runtime z3 calendar))`
Renamed and grouped modules cleanly 2022-01-08 20:37:04 +03:00
			`(documentation`
			`(package catala)`
			`(mld_files verification))`