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)
Mon, Jul 20, 3:44 AM
Unknown Object (File)
Sun, Jul 19, 2:43 AM
Unknown Object (File)
Thu, Jul 16, 7:28 PM
Unknown Object (File)
Mon, Jul 6, 10:59 PM
Unknown Object (File)
Jun 17 2026, 2:43 AM
Unknown Object (File)
Jun 16 2026, 4:15 PM
Unknown Object (File)
Jun 14 2026, 5:01 AM
Unknown Object (File)
Jun 11 2026, 8:38 PM
View All 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 14762
Build 14881: 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
21

This discards both MAKE_ENV and MAKE_ARGS.

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

math/glucose/pkg-descr
11

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
13 lines
11 lines
12 lines

Diff 38829

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-mtl_template.mk

Loading...
View Options

math/glucose/files/patch-utils_System.cc

Loading...
View Options

math/glucose/pkg-descr

Loading...