Import precosat-465r2-2ce82ba-100514precosat-465r2
authorUtz-Uwe Haus <haus@uuhaus.de>
Sun, 30 May 2010 17:41:39 +0000 (19:41 +0200)
committerUtz-Uwe Haus <haus@uuhaus.de>
Sun, 30 May 2010 17:41:39 +0000 (19:41 +0200)
commit2e08fe478f6179cea444882c01190fda5f81f10a
treeb7d9488db92f769bd9dd62baf4a03b35a9d4b989
parentf9efb08cbedb200e8fce8e9e45fa0ac13712bc55
Import precosat-465r2-2ce82ba-100514

Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>
13 files changed:
backends/INVENTORY [new file with mode: 0644]
backends/precosat/LICENSE [new file with mode: 0644]
backends/precosat/NEWS [new file with mode: 0644]
backends/precosat/README [new file with mode: 0644]
backends/precosat/VERSION [new file with mode: 0644]
backends/precosat/configure [new file with mode: 0755]
backends/precosat/makefile.in [new file with mode: 0644]
backends/precosat/mkconfig [new file with mode: 0755]
backends/precosat/precobnr.cc [new file with mode: 0644]
backends/precosat/precobnr.hh [new file with mode: 0644]
backends/precosat/precomain.cc [new file with mode: 0644]
backends/precosat/precosat.cc [new file with mode: 0644]
backends/precosat/precosat.hh [new file with mode: 0644]