| Port details |
- kissat Kissat SAT Solver
- 4.0.2 math
 =2      4.0.1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-02-07 03:03:09
- Last Update: 2025-01-25 08:14:44
- Commit Hash: ad3cb80
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-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 - 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 = 1737785441
SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941
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
- 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: 6
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
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: 6
|
As an Amazon Associate I earn from qualifying purchases.