RSolver CodeSVN

Brought to you by: stefan_ratschan

Commit [r28] Maximize Restore History

new makefile creating symbolic links to external solver interfaces

Authored by: stefan_ratschan 2005-11-02

Browse code at this revision

Parent: [r27]

Child: [r29]

changed	/trunk/Makefile
removed	/trunk/Makefile-noext
changed	/trunk/README
changed	/trunk/rsolver-main.ml

/trunk/Makefile Diff Switch to side-by-side view

/trunk/Makefile-noext

File was removed.

/trunk/README Diff Switch to side-by-side view

/trunk/rsolver-main.ml Diff Switch to side-by-side view