summaryrefslogtreecommitdiff
path: root/README.ddtp
diff options
context:
space:
mode:
authorDavid Kalnischkies <kalnischkies@gmail.com>2011-04-02 15:47:14 +0200
committerDavid Kalnischkies <kalnischkies@gmail.com>2011-04-02 15:47:14 +0200
commit2029276f0343c96481d0d3cbbc367420b4a5f864 (patch)
tree284fa7ce71cd75381f61db74fbb9b215c6404c99 /README.ddtp
parent4128c84679e54e2afda7913946facaf9c52cd3eb (diff)
send the scenario through a pipe to the solver and get the solution back
The solution is NOT interpreted so far.
Diffstat (limited to 'README.ddtp')
0 files changed, 0 insertions, 0 deletions