source: cegar_dev/cegar/abstract_model/Phi_1_and_Phi_2 @ 100

Last change on this file since 100 was 4, checked in by syed, 13 years ago

input files added
File size: 69 bytes
Line 
1(r_i1 = 0)  + AF (o1 = 1);
2(r_i1 = 0)  + AF (o2 = 1);
3(o1=0)*(o2=0);
Note: See TracBrowser for help on using the repository browser.