ports/math/kissat, branch main
FreeBSD ports tree
https://cgit-dev.freebsd.org/ports/atom?h=main
2025-11-05T06:57:35Z
math/kissat: update 4.0.3 → 4.0.4
2025-11-05T06:57:35Z
Yuri Victorovich
yuri@FreeBSD.org
2025-11-05T04:47:27Z
urn:sha1:b3fadc6aa0fdd32c62ede9d6e476c2ceaf0b5611
math/kissat: update 4.0.2 → 4.0.3
2025-06-29T22:04:28Z
Yuri Victorovich
yuri@FreeBSD.org
2025-06-29T22:04:01Z
urn:sha1:4850823a295a45fcbb12fbc90031fbeea13fc05c
Reported by: portscout
math/kissat: update 4.0.1 → 4.0.2
2025-01-25T08:14:44Z
Yuri Victorovich
yuri@FreeBSD.org
2025-01-25T07:18:37Z
urn:sha1:ad3cb804d9b5e7263ba8014b4da98eed2c87514d
Reported by: portscout
math/kissat: update 4.0.0 → 4.0.1
2024-09-16T07:48:28Z
Yuri Victorovich
yuri@FreeBSD.org
2024-09-16T06:48:39Z
urn:sha1:6e6768a3a69c648befd446af9c855a85bc392abc
Reported by: portscout
math/kissat: update 3.1.1 → 4.0.0
2024-07-30T02:01:56Z
Yuri Victorovich
yuri@FreeBSD.org
2024-07-29T19:20:38Z
urn:sha1:59b874ec733473af0d5596cc8e39b5f8726f8731
Reported by: portscout
math/kissat: update 3.1.0 → 3.1.1
2023-11-05T17:49:40Z
Yuri Victorovich
yuri@FreeBSD.org
2023-11-05T17:49:40Z
urn:sha1:73ab6e5f8ba5d00088318d284f55568344f53b6f
Reported by: portscout
math/kissat: Update 3.0.0 → 3.1.0
2023-06-25T07:03:55Z
Yuri Victorovich
yuri@FreeBSD.org
2023-06-25T05:02:08Z
urn:sha1:5a55735fc3fe4c5d0c90eec29e6295b271daf14f
Reported by: portscout
math/kissat: New port: Kissat SAT Solver
2023-02-07T03:00:42Z
Yuri Victorovich
yuri@FreeBSD.org
2023-02-06T16:23:55Z
urn:sha1:5b602234036cceb5a7740761f2eeafeef51cbf64