diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2011-04-02 15:47:14 +0200 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-04-02 15:47:14 +0200 |
| commit | 2029276f0343c96481d0d3cbbc367420b4a5f864 (patch) | |
| tree | 284fa7ce71cd75381f61db74fbb9b215c6404c99 /apt-inst/deb | |
| parent | 4128c84679e54e2afda7913946facaf9c52cd3eb (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 'apt-inst/deb')
0 files changed, 0 insertions, 0 deletions