This directory
contains the port of the DPT (Decision Procedure
Toolkit) SAT solver
to Standard ML. The port was performed
by Armin
Heller at TU Muenchen
in 2009. The original OCaml files are available
from http://sourceforge.net/projects/dpt/.
Original copyright notice
from the OCaml sources:
Copyright
2007 Intel Corporation
Licensed under the Apache License, Version
2.
0 (the
"License"); you
may not
use this
file except
in compliance
with the License. You
may
obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.
0
Unless required
by applicable law or agreed
to in writing, software
distributed under the License
is distributed on an
"AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
implied. See the License
for the specific language governing
permissions
and limitations under the License.
