action language. The action language and sovler algorithm was developed by Aaron Hunter at Simon Fraser University. BE was written by Joel Faber.BE is a belief evolution solver for the action language. The action language and sovler algorithm was developed by Aaron Hunter at Simon Fraser University. BE was written by Joel Faber.
Compilation requires the smodels API Library, which can be downloaded from the smodels home page.