From: Andreas Kuechler
Subject: Looking for implementation of Davis-Putnam-Alg in CL
Date: 
Message-ID: <2epuemE2o3@uni-erlangen.de>
Does anyone know an efficient implementation of the 

  Davis-Putnam-SAT-Algorithm with or without
  different branching strategies

in CommonLisp ? Ideally, it should be ready-to-run under Allegro or Lucid 
CommonLisp. I'm looking at a couple of public Lisp/AI-software-repositories, 
but failed.

Any pointers to persons/ftp-sites would be appreciated. Please reply via 
email. I will post a summary to the net.


Thanks very much for your help.

 Andreas K"uchler


---
Andreas K"uchler    
University of Erlangen
Computer Science Department
IMMD8 (AI)                     phone: +49 9131/699119
Am Weichselgarten 9           
91058 Erlangen                

email: ········@immd8.informatik.uni-erlangen.de




---
Andreas K"uchler    
University of Erlangen
Computer Science Department
IMMD8 (AI)                    phone: +49 9131/699119
Am Weichselgarten 9           
91058 Erlangen                email: ········@immd8.informatik.uni-erlangen.de