notbugAs 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 photosAll times are UTC		 Ukraine

Bot filter coming soon

To deter bots pegging the database CPU to 100%, a bot testing filter to be added to the website. This should not affect newsfeeds etc. Anubis seems light-weight - it is already in use within the FreeBSD Project. This notice is just a heads up in case you see something odd. This notice will be updated after Anubis is installed.

Port details
kissat Kissat SAT Solver
4.0.3 math on this many watch lists=2 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.2Version 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-06-29 22:04:28
Commit Hash: 4850823
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.
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.3/catalog.mk
  8. /usr/local/share/licenses/kissat-4.0.3/LICENSE
  9. /usr/local/share/licenses/kissat-4.0.3/MIT
Collapse this list.
Dependency lines:
  • kissat>0: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 = 1751232358 SHA256 (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 SIZE (arminbiere-kissat-rel-4.0.3_GH0.tar.gz) = 531881
Packages (timestamps in pop-ups are UTC):
kissat
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest4.0.34.0.3-4.0.24.0.3---
FreeBSD:13:quarterly4.0.24.0.33.1.04.0.24.0.33.1.13.1.13.1.1
FreeBSD:14:latest4.0.24.0.3-4.0.24.0.33.0.0-3.0.0
FreeBSD:14:quarterly4.0.34.0.3-4.0.24.0.33.1.13.1.13.1.1
FreeBSD:15:latest4.0.24.0.2n/a4.0.2n/a3.1.13.1.13.1.1
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
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:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/arminbiere/kissat/tar.gz/rel-4.0.3?dummy=/
Collapse this list.

Number of commits found: 7

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 7
Login
User Login
Create account

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
unboundJul 18
libxml2*Jul 15
linux-c7-libxml2*Jul 15
linux-rl9-libxml2*Jul 15
tomcat101*Jul 15
tomcat110*Jul 15
tomcat9*Jul 15
gnutlsJul 14
liboqsJul 14
libxsltJul 12
linux-c7-libxsltJul 12
linux-rl9-libxsltJul 12
apache24Jul 11
gitlabJul 10
gitJul 08

22 vulnerabilities affecting 283 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2025-07-18 21:06:46 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 33487
Broken 129
Deprecated 235
Ignore 246
Forbidden 0
Restricted 2
No CDROM 1
Vulnerable 37
Expired 20
Set to expire 182
Interactive 0
new 24 hours 13
new 48 hours19
new 7 days48
new fortnight70
new month258
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2025 Dan Langille. All rights reserved.