Port details |
- kissat Kissat SAT Solver
- 3.1.1 math =0 3.1.1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2023-02-07 03:03:09
- Last Update: 2023-11-05 17:49:40
- Commit Hash: 73ab6e5
- License: MIT
- WWW:
- http://fmv.jku.at/kissat/
- Description:
- KISSAT is a "keep it simple and clean bare metal SAT solver" written in
C. It is a port of CaDiCaL back to C with improved data structures,
better scheduling of inprocessing and optimized algorithms and
implementation. Coincidentally 'kissat' also means 'cats' in Finnish.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/kissat/ && make install clean
- To add the package, run one of these commands:
- pkg install math/kissat
- pkg install kissat
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: kissat
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1699206424
SHA256 (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = ac7f50b4a345d9c9ae4fb7dcd7664c6e2512d99e4198de6f42aad9c008e7150a
SIZE (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = 471004
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.3 : devel/gmake
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_kissat
- USES:
- gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 3
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
3.1.1 05 Nov 2023 17:49:40 |
Yuri Victorovich (yuri) |
math/kissat: update 3.1.0 → 3.1.1
Reported by: portscout |
3.1.0 25 Jun 2023 07:03:55 |
Yuri Victorovich (yuri) |
math/kissat: Update 3.0.0 → 3.1.0
Reported by: portscout |
3.0.0 07 Feb 2023 03:00:42 |
Yuri Victorovich (yuri) |
math/kissat: New port: Kissat SAT Solver |
Number of commits found: 3
|