kissat

4.0.4

Bare metal SAT solver

Install

brew install kissat

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	4.0.4	File SHA-256 `05f71104e222d55181d17b7935aa035aa2ba3e1fcd6f4228539c46f55c0c289e`
Apple Silicon	Tahoe	4.0.4	File SHA-256 `67e49c44458a442a6ccadbf16e9cf7ef419d22ac1d2fe2dd3f9a0e7c8c2ffb77`
Apple Silicon	Sequoia	4.0.4	File SHA-256 `7b66a3192b73682075386abda2c27a6318b6a7f3364ef3cb2803624f3719833d`
Apple Silicon	Sonoma	4.0.4	File SHA-256 `1fcaeae9f5035f8273ae2809bbdee818e7d3c2c160f19eb02c7953bd3d16f2ab`
Intel	Sonoma	4.0.4	File SHA-256 `36eb3d024cbf5940ec33db9b59897ded7591b19981427caaa5d29f52da453706`
ARM64	Linux	4.0.4	File SHA-256 `21fcc0a15aaa6ac7487b457ad7d798c264c6b48ef24fe2b9789ffa1f630b6adf`
x86_64	Linux	4.0.4	File SHA-256 `406b4eaf9bb50f011363ef603542d6739687619a3bd570da052ad3022b9069d5`