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
Lint Not Applicable
Unit
Tests Not Applicable

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 ↗(On Diff #38755)

This discards both MAKE_ENV and MAKE_ARGS.

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

math/glucose/pkg-descr
10 ↗(On Diff #38755)

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
head/
math/
1 line
glucose/
27 lines
3 lines
files/
13 lines
11 lines
12 lines

Diff 38832

View Options

head/math/Makefile

Loading...
View Options

head/math/glucose/Makefile

Loading...
View Options

head/math/glucose/distinfo

Loading...
View Options

head/math/glucose/files/patch-mtl_template.mk

Loading...
View Options

head/math/glucose/files/patch-utils_System.cc

Loading...
View Options

head/math/glucose/pkg-descr

Loading...