Version française
Home     About     Download     Resources     Contact us    
Browse thread
Announcing The Decision Procedure Toolkit Version 1.1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Denis Bueno <dbueno@g...>
Subject: Re: [Caml-list] Announcing The Decision Procedure Toolkit Version 1.1
On 10/2/07, Jim Grundy <jim.d.grundy@intel.com> wrote:
> DPT is completely implemented in OCaml - even the DPLL solver, and yet
> we get good (read seemingly competitive) from the tool.

Have you benchmarked against Minisat?  Is DPT a re-implementation of
the Minisat paper using OCaml, or is simply a solver in the DPLL
framework as opposed to a solver aiming to mimic Minisat?

-- 
                              Denis