Programma's van br-bmc.sf.net

Implementatie van een algoritme voor de herziening van de overtuiging met behulp van begrensde modelcontrole op ACTL