Quelle  NOTICE

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.