Import PicoSAT-913picosat-913
authorUtz-Uwe Haus <lisp@uuhaus.de>
Wed, 2 Jun 2010 07:28:00 +0000 (09:28 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Wed, 2 Jun 2010 07:28:00 +0000 (09:28 +0200)
commit07321bd6d12aba3cf06613c1970e0228a4147744
tree96e0aa22fd81986efb69dc400afcfd125d582f2b
parente08123cb24e7f8665ca7a1f3bf03f46bafb284e4
Import PicoSAT-913

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
12 files changed:
backends/picosat/LICENSE [new file with mode: 0644]
backends/picosat/NEWS [new file with mode: 0644]
backends/picosat/README [new file with mode: 0644]
backends/picosat/VERSION [new file with mode: 0644]
backends/picosat/app.c [new file with mode: 0644]
backends/picosat/configure [new file with mode: 0755]
backends/picosat/main.c [new file with mode: 0644]
backends/picosat/makefile.in [new file with mode: 0644]
backends/picosat/mkconfig [new file with mode: 0755]
backends/picosat/picosat.c [new file with mode: 0644]
backends/picosat/picosat.h [new file with mode: 0644]
backends/picosat/version.c [new file with mode: 0644]