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