Bug 693831

Summary:	Review Request: ocaml-dpt - SAT solver
Product:	[Fedora] Fedora	Reporter:	Jerry James <loganjerry>
Component:	Package Review	Assignee:	Nobody's working on this, feel free to take it <nobody>
Status:	CLOSED WONTFIX	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	medium	Docs Contact:
Priority:	medium
Version:	rawhide	CC:	fedora-package-review, notting
Target Milestone:	---
Target Release:	---
Hardware:	All
OS:	Linux
Whiteboard:
Fixed In Version:		Doc Type:	Bug Fix
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2012-05-04 20:38:44 UTC	Type:	---
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:
Bug Depends On:	710568
Bug Blocks:

Description Jerry James 2011-04-05 17:02:05 UTC

Spec URL: http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt.spec
SRPM URL: http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt-2.0-1.fc14.src.rpm
Description:
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries.  The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

This package is a prerequisite to some C code analysis tools I am trying to package.

Comment 1 Jerry James 2011-06-03 18:07:18 UTC

It looks like ocamldsort is broken in Fedora 15 and Rawhide at the moment.  This package should still build on Fedora 14, but will have to wait on an ocamldsort update otherwise.

Comment 2 Jerry James 2011-11-15 17:17:57 UTC

The ocamldsort problem is fixed.  New URLs:
http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt.spec
http://jjames.fedorapeople.org/ocaml-dpt/ocaml-dpt-2.0-1.fc16.src.rpm

Comment 3 Jerry James 2012-05-04 20:38:44 UTC

This package no longer builds with the Ocaml version in Rawhide, and I don't know why.  Furthermore, there are faster SAT solvers out there.  I think Isabelle users will be able to live without this one.  I am withdrawing this review request.