3-SAT verifier for the Commodore 64. Bit-packed clause table, 6502 assembly. 570 clause-checks/sec on 1 MHz.
-
Updated
Mar 4, 2026 - Forth
3-SAT verifier for the Commodore 64. Bit-packed clause table, 6502 assembly. 570 clause-checks/sec on 1 MHz.
Add a description, image, and links to the wasp topic page so that developers can more easily learn about it.
To associate your repository with the wasp topic, visit your repo's landing page and select "manage topics."