[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Can GProlog produce SAT-like proof?
From: |
tunlee |
Subject: |
Can GProlog produce SAT-like proof? |
Date: |
Mon, 19 Dec 2005 21:50:28 +0800 |
Hi,
Are there some one knows whether GNU Prolog can produce SAT solver like
unsatisfiability core as unsatisfiability proof? If GNU Prolog cannot produce
it, are there some one know which CLP solver can produce this? Thanks in
advance!
tun li
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Can GProlog produce SAT-like proof?,
tunlee <=