Hi, On Fri, Aug 20, 2010 at 08:35:25PM +0200, Matthias Guedemann wrote: > > Anyway here is the port. OK? > > Did some more testing with other examples, works without problems on i386. > Some > suggestions: > > * only warn about unused variables instead of error
Possibly, but I would not like this to be default, as I am error prone. Hence the compiler being so strict. > * allow more than one formula in one file (perhaps I just used the wrong > syntax?) That doesn't really make sense. If you want to further constrain your instance, you just apply further constraints in conjunction using the AND operator. Guys, this is not the place to discuss this. Please raise tickets here: http://projects.cs.kent.ac.uk/projects/logic2cnf/trac/ I will prepare a new port with those few bits applied. -- Best Regards Edd Barrett http://www.theunixzoo.co.uk
