Remarques sur les révisions

Nom de version : Release 0.9.1

Notes

new option added a : find all solutions (or count the number of zero-cost satisfiable solutions in conjunction with BTD) D : approximate satisfiable solution count with BTD - bug correction in VAC - cmake packaging

Powered By FusionForge