As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTCnotbug
Ukraine
Menu ☰ Menu
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
Volunteers wanted to help translate FreshPorts
Searches without login should now work. You must get asked to click a button.
Port details
kissat Kissat SAT Solver
4.0.4 math Σ=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 4.0.4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-02-07 03:03:09
Last Update: 2025-11-05 06:57:35
Commit Hash: b3fadc6
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.
HomepageHomepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages: #
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist #
Expand this list (9 items)
Collapse this list.
  1. bin/kissat
  2. bin/kitten
  3. include/kissat/kissat.h
  4. lib/libkissat.a
  5. lib/libkissat.so
  6. @ldconfig
  7. /usr/local/share/licenses/kissat-4.0.4/catalog.mk
  8. /usr/local/share/licenses/kissat-4.0.4/LICENSE
  9. /usr/local/share/licenses/kissat-4.0.4/MIT
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • For RUN/BUILD depends:
    • kissat>0:math/kissat
  • For LIB depends:
    • libkissat.so:math/kissat
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): #
kissat
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latest4.0.44.0.4-4.0.34.0.4
FreeBSD:14:quarterly4.0.44.0.4-4.0.34.0.4
FreeBSD:15:latest4.0.44.0.4n/a4.0.3n/a
FreeBSD:15:quarterly4.0.44.0.4n/a-n/a
FreeBSD:16:latest4.0.44.0.4n/a-n/a
Dependencies #
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies: #
  1. gmake>=4.4.1 : devel/gmake
This port is required by: #
for Libraries #
  1. 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: #
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/arminbiere/kissat/tar.gz/rel-4.0.4?dummy=/
Collapse this list.

Number of commits found: 8 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
4.0.4
05 Nov 2025 06:57:35
commit hash: b3fadc6aa0fdd32c62ede9d6e476c2ceaf0b5611commit hash: b3fadc6aa0fdd32c62ede9d6e476c2ceaf0b5611commit hash: b3fadc6aa0fdd32c62ede9d6e476c2ceaf0b5611commit hash: b3fadc6aa0fdd32c62ede9d6e476c2ceaf0b5611 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 4.0.3 → 4.0.4
4.0.3
29 Jun 2025 22:04:28
commit hash: 4850823a295a45fcbb12fbc90031fbeea13fc05ccommit hash: 4850823a295a45fcbb12fbc90031fbeea13fc05ccommit hash: 4850823a295a45fcbb12fbc90031fbeea13fc05ccommit hash: 4850823a295a45fcbb12fbc90031fbeea13fc05c files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 4.0.2 → 4.0.3

Reported by:	portscout
4.0.2
25 Jan 2025 08:14:44
commit hash: ad3cb804d9b5e7263ba8014b4da98eed2c87514dcommit hash: ad3cb804d9b5e7263ba8014b4da98eed2c87514dcommit hash: ad3cb804d9b5e7263ba8014b4da98eed2c87514dcommit hash: ad3cb804d9b5e7263ba8014b4da98eed2c87514d files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 4.0.1 → 4.0.2

Reported by:	portscout
4.0.1
16 Sep 2024 07:48:28
commit hash: 6e6768a3a69c648befd446af9c855a85bc392abccommit hash: 6e6768a3a69c648befd446af9c855a85bc392abccommit hash: 6e6768a3a69c648befd446af9c855a85bc392abccommit hash: 6e6768a3a69c648befd446af9c855a85bc392abc files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 4.0.0 → 4.0.1

Reported by:	portscout
4.0.0
30 Jul 2024 02:01:56
commit hash: 59b874ec733473af0d5596cc8e39b5f8726f8731commit hash: 59b874ec733473af0d5596cc8e39b5f8726f8731commit hash: 59b874ec733473af0d5596cc8e39b5f8726f8731commit hash: 59b874ec733473af0d5596cc8e39b5f8726f8731 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 3.1.1 → 4.0.0

Reported by:	portscout
3.1.1
05 Nov 2023 17:49:40
commit hash: 73ab6e5f8ba5d00088318d284f55568344f53b6fcommit hash: 73ab6e5f8ba5d00088318d284f55568344f53b6fcommit hash: 73ab6e5f8ba5d00088318d284f55568344f53b6fcommit hash: 73ab6e5f8ba5d00088318d284f55568344f53b6f files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: update 3.1.0 → 3.1.1

Reported by:	portscout
3.1.0
25 Jun 2023 07:03:55
commit hash: 5a55735fc3fe4c5d0c90eec29e6295b271daf14fcommit hash: 5a55735fc3fe4c5d0c90eec29e6295b271daf14fcommit hash: 5a55735fc3fe4c5d0c90eec29e6295b271daf14fcommit hash: 5a55735fc3fe4c5d0c90eec29e6295b271daf14f files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: Update 3.0.0 → 3.1.0

Reported by:	portscout
3.0.0
07 Feb 2023 03:00:42
commit hash: 5b602234036cceb5a7740761f2eeafeef51cbf64commit hash: 5b602234036cceb5a7740761f2eeafeef51cbf64commit hash: 5b602234036cceb5a7740761f2eeafeef51cbf64commit hash: 5b602234036cceb5a7740761f2eeafeef51cbf64 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/kissat: New port: Kissat SAT Solver

Number of commits found: 8

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Latest Vulnerabilities
gitlabOct 23
mailpitOct 23
brotliOct 22
chromiumOct 22
jackson-coreOct 22
jackson-databindOct 22
jackson-databindOct 22
keycloakOct 22
ungoogled-chromiumOct 22
p5-DBIOct 21
php82*Oct 21
php83*Oct 21
php84*Oct 21
php85*Oct 21
php86*Oct 21

42 vulnerabilities affecting 514 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-10-23 12:44:15 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35317
Broken 63
Deprecated 340
Ignore 184
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 44
Expired 8
Set to expire 265
Interactive 0
new 24 hours 8
new 48 hours13
new 7 days72
new fortnight133
new month245
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.