3 Commits

Author	SHA1	Message	Date
mossbiscuits	0cb4f7ed82	fix icon	2025-08-21 16:15:06 -06:00
mossbiscuits	2545c47377	Resolve #27	2025-06-23 12:49:01 -06:00
mossbiscuits	589a55d8cd	Wrap up SAT/SMT	2025-06-12 15:13:07 -06:00