Commit graph

Select branches

Hide pull requests

main

Mono Color

• 229f654eb5 if a test runs a long time, run it with verbose main Zander Thannhauser 2025-03-07 20:14:32 -0600
• dd4732c007 now we satlib! and verification! and testing! Zander Thannhauser 2025-03-07 19:58:28 -0600
• e2d8118468 updated README Zander Thannhauser 2025-03-07 09:49:26 -0600
• 5fcfebd5fd updated README Zander Thannhauser 2025-03-07 09:47:37 -0600
• 2add7a474e first commit Zander Thannhauser 2025-03-07 09:45:00 -0600