Page MenuHomeFreeBSD
Differential D14156

New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
ClosedPublic
Actions

Authored by yuri on Feb 1 2018, 10:12 AM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Jun 27, 9:09 AM
Unknown Object (File)
Mon, Jun 24, 8:13 PM
Unknown Object (File)
Fri, Jun 7, 9:22 PM
Unknown Object (File)
Fri, Jun 7, 9:18 PM
Unknown Object (File)
Fri, Jun 7, 9:18 PM
Unknown Object (File)
Fri, Jun 7, 9:18 PM
Unknown Object (File)
Fri, Jun 7, 9:18 PM
Unknown Object (File)
Fri, Jun 7, 9:18 PM
View All 72 Files
Subscribers
mat

Details

Reviewers
tcberner
adamw
Commits
rP460848: New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses
Summary

Parallel SAT solver based on Minisat, with glue clauses

Diff Detail

Repository
rP FreeBSD ports repository
Lint
No Lint Coverage
Unit
No Test Coverage
Build Status
Buildable 14726
Build 14847: arc lint + arc unit

Event Timeline

yuri created this revision.Feb 1 2018, 10:12 AM
Herald added a subscriber: mat. · View Herald TranscriptFeb 1 2018, 10:12 AM
yuri updated this revision to Diff 38755.Feb 1 2018, 10:14 AM

.

yuri retitled this revision from math/glucose: Parallel SAT solver based on Minisat, with glue clauses to New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses.Feb 1 2018, 10:20 AM
adamw added inline comments.Feb 3 2018, 3:45 PM
math/glucose/Makefile
20

This discards both MAKE_ENV and MAKE_ARGS.

Use the ${DO_MAKE_BUILD} -C ${WRKSRC}/simp construct.

math/glucose/pkg-descr
10

glucoDe

yuri updated this revision to Diff 38829.Feb 3 2018, 8:42 PM

Used MAKE_ENV/MAKE_ARGS

Harbormaster completed remote builds in B14762: Diff 38829.Feb 3 2018, 8:42 PM
yuri updated this revision to Diff 38830.Feb 3 2018, 8:43 PM
yuri marked an inline comment as done.

Fixed typo.

yuri marked an inline comment as done.Feb 3 2018, 8:43 PM
adamw accepted this revision.Feb 3 2018, 8:50 PM
This revision is now accepted and ready to land.Feb 3 2018, 8:50 PM
Closed by commit rP460848: New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses (authored by yuri). · Explain WhyFeb 3 2018, 8:59 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

PathSize
math/
1 line
27 lines
3 lines
11 lines
12 lines

Diff 38755

View Options

math/Makefile

Loading...
View Options

math/glucose/

Loading...
View Options

math/glucose/Makefile

Loading...
View Options

math/glucose/distinfo

Loading...
View Options

math/glucose/files/

Loading...
View Options

math/glucose/files/patch-utils_System.cc

Loading...
View Options

math/glucose/pkg-descr

Loading...