| Port details |
- kissat Kissat SAT Solver
- 4.0.4 math
 =2      4.0.3Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-02-07 03:03:09
- Last Update: 2025-11-05 06:57:35
- Commit Hash: b3fadc6
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- License: MIT
- WWW:
- https://fmv.jku.at/kissat
- https://github.com/arminbiere/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 - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- 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 = 1762317948
SHA256 (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193
SIZE (arminbiere-kissat-rel-4.0.4_GH0.tar.gz) = 532329
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 Libraries
-
- math/cvc5
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: 8
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
4.0.4
05 Nov 2025 06:57:35
 |
Yuri Victorovich (yuri) |
math/kissat: update 4.0.3 → 4.0.4 |
4.0.3
29 Jun 2025 22:04:28
|
Yuri Victorovich (yuri) |
math/kissat: update 4.0.2 → 4.0.3
Reported by: portscout |
4.0.2
25 Jan 2025 08:14:44
|
Yuri Victorovich (yuri) |
math/kissat: update 4.0.1 → 4.0.2
Reported by: portscout |
4.0.1
16 Sep 2024 07:48:28
|
Yuri Victorovich (yuri) |
math/kissat: update 4.0.0 → 4.0.1
Reported by: portscout |
4.0.0
30 Jul 2024 02:01:56
|
Yuri Victorovich (yuri) |
math/kissat: update 3.1.1 → 4.0.0
Reported by: portscout |
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: 8
|
As an Amazon Associate I earn from qualifying purchases.