Header image  
Computing Answer Sets for Arbitrary Propositional Formulas  
 
 

Use the download link to download the binary The Binary can be executed only in LINUX. The binary was tested on gcc-4.1.1 but it should work on earlier versions also. Please contact us in case you face any problems.

Please report all bugs to joolee@asu.edu or ravi.palla@asu.edu