Lab for Automated Reasoning and Analysis LARA

Nenofar = Negation Normal Form Automated Reasoner

Nenuphar = Water Lily

Available downloads:

For more information:

 
nenofar.txt · Last modified: 2009/02/25 21:37 by vkuncak