next up previous
Next: What's new? Up: plp A compiler for Previous: Documentation

Versions of dlv and smodels



Torsten Schaub 2000-12-05