| Port details |
- lingeling Lingeling SAT Solver
- 1.0.0 math
 =2      1.0.0Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-01-04 10:54:07
- Last Update: 2024-03-06 20:09:13
- Commit Hash: c54bfe9
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- License: MIT
- WWW:
- http://fmv.jku.at/lingeling/
- Description:
- Lingeling, Plingeling and Treengeling.
The parallel portfolio front-end Plingeling was ranked on the first place on
unsatisfiable instances in the parallel track of the SAT Competition 2020, and
second place overall in the parallel track.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- lingeling>0:math/lingeling
- To install the port:
- cd /usr/ports/math/lingeling/ && make install clean
- To add the package, run one of these commands:
- pkg install math/lingeling
- pkg install lingeling
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: lingeling
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1709755163
SHA256 (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 99f35f14091a495ca22e4bf7394f645bff7161ea4e0294f73cf4d5114ac33ac3
SIZE (arminbiere-lingeling-rel-1.0.0_GH0.tar.gz) = 248141
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.4.1 : devel/gmake
- This port is required by:
- for Build
-
- math/boolector
Configuration Options:- No options to configure
- Options name:
- math_lingeling
- USES:
- gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
1.0.0
06 Mar 2024 20:09:13
 |
Yuri Victorovich (yuri) |
math/lingeling: update g20220515 → 1.0.0
Reported by: portscout |
g20220515
04 Jan 2023 10:51:57
|
Yuri Victorovich (yuri) |
math/lingeling: New port: Lingeling SAT Solver |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.