3 lines
180 B
Plaintext
3 lines
180 B
Plaintext
|
The SESSION directory contains some recorded clp(q,r) sessions.
|
||
|
|
They were primarily used for regression testing, but they can
|
||
|
|
get you started on how to interact with the solver(s).
|