Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.

Name
Last commit
Last update
results Loading commit data...
.gitignore Loading commit data...
APL2019.py Loading commit data...
IR2019.py Loading commit data...
IR2020.py Loading commit data...
LICENSE.txt Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
allocations_familiales2019.py Loading commit data...
foyerfiscal.py Loading commit data...
individu.py Loading commit data...
main.py Loading commit data...
menage.py Loading commit data...
montant.py Loading commit data...
prime_activite2019.py Loading commit data...
query.py Loading commit data...
questions.py Loading commit data...
requirements.txt Loading commit data...
solveur.py Loading commit data...
test_cases.py Loading commit data...
verifisc_telegram_bot.py Loading commit data...
z3.pyi Loading commit data...