cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

import logic2cnf - propositional logic solver tool.

Browse Source 
OK jasper@
This commit is contained in:
edd 2010-10-24 13:55:41 +00:00
parent 94f1552a62
commit 29f399ba60
4 changed files with 40 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
math/logic2cnf/Makefile Normal file
View File

@ -0,0 +1,23 @@
# $OpenBSD: Makefile,v 1.1.1.1 2010/10/24 13:55:41 edd Exp $
COMMENT = easy to use propositional logic solver based on MiniSAT
DISTNAME = logic2cnf-0.7.2
CATEGORIES = math lang
HOMEPAGE = http://projects.cs.kent.ac.uk/projects/logic2cnf/trac/
MAINTAINER = Edd Barrett <edd@openbsd.org>
# ISC
PERMIT_PACKAGE_CDROM = Yes
PERMIT_PACKAGE_FTP = Yes
PERMIT_DISTFILES_CDROM =Yes
PERMIT_DISTFILES_FTP = Yes
WANTLIB += c m stdc++
MASTER_SITES = ${HOMEPAGE}/raw-attachment/wiki/releases/
CONFIGURE_STYLE = gnu
.include <bsd.port.mk>

5
math/logic2cnf/distinfo Normal file
View File

@ -0,0 +1,5 @@
MD5 (logic2cnf-0.7.2.tar.gz) = fcmYZYHJ/7+UOdlZD36qnQ==
RMD160 (logic2cnf-0.7.2.tar.gz) = 2Qpe3r3oShuVicTQiH0PezHKUOA=
SHA1 (logic2cnf-0.7.2.tar.gz) = HLHPopRut2U0j0VcBYotkRWejDM=
SHA256 (logic2cnf-0.7.2.tar.gz) = l2DMnjfaOhlfj597ARmSCNcYrp49ZdZcj+hDszJewyY=
SIZE (logic2cnf-0.7.2.tar.gz) = 207595

4
math/logic2cnf/pkg/DESCR Normal file
View File

@ -0,0 +1,4 @@
Logic2CNF is an easy to use propositional logic solver based upon
MiniSAT (http://minisat.se). Logic is programmed using a simple grammar
(instead of having to convert logic to DIMACS) and all CNF conversion is
automatic.

8
math/logic2cnf/pkg/PLIST Normal file
View File

@ -0,0 +1,8 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2010/10/24 13:55:41 edd Exp $
@bin bin/logic2cnf
@man man/man1/logic2cnf.1
share/l2cstd/
share/l2cstd/l2c_arith.m4
share/l2cstd/l2c_bitwise.m4
share/l2cstd/l2c_sparc64.m4
share/l2cstd/l2c_util.m4