Catala
Groupe du projet Catala (https://catala-lang.org)
Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Groupe du projet Catala (https://catala-lang.org)
Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.