science/kissat
SHA256
10
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
main
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Atri Bhattacharya 0bc13cf069 Accepting request 1286410 from home:VaiTon:branches:science 
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.

OBS-URL: https://build.opensuse.org/request/show/1286410
OBS-URL: https://build.opensuse.org/package/show/science/kissat?expand=0&rev=1
2025-06-22 13:14:23 +00:00
.gitattributes
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
.gitignore
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
fix32-bit.patch
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
kissat-4.0.2.tar.gz
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
kissat.changes
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
kissat.spec
Accepting request 1286410 from home:VaiTon:branches:science
2025-06-22 13:14:23 +00:00
Description
No description provided
33 KiB
Languages
Diff 100%