anthem 1.0.0 Beta 4

This is a preview release of anthem 1.0.0, which implements a new mode to verify that tight logic programs implement first-order-logic specifications according to our ICLP 2020 publication Verifying Tight Logic Programs with anthem and Vampire (Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne, and Torsten Schaub).

Features

• new command anthem verify-program to verify tight logic programs against first-order-logic specifications

Known Issues

• the previous anthem mode for verifying the strong equivalence of logic programs is currently unavailable and will be brought back at a later date (for now, use anthem 0.2 for verifying the strong equivalence of logic programs)
• Vampire search options not yet configurable
• minor parser issues (for example, missing absolute value function)