9 Commits

Author	SHA1	Message	Date
Landon Taylor	6af9acff12	add alt-ergo. Closes #1	2025-06-13 14:28:33 -06:00
Landon Taylor	224a339a38	Add some tools and categories	2025-06-13 13:09:14 -06:00
Landon Taylor	589a55d8cd	Wrap up SAT/SMT	2025-06-12 15:13:07 -06:00
Landon Taylor	5c5710ca6a	add tools	2025-06-10 14:13:34 -06:00
Landon Taylor	a454011c40	add solvers	2025-06-09 11:45:37 -06:00
Landon Taylor	388d5fb8f9	test updates	2025-06-06 18:46:27 -06:00
Landon Taylor	ef3224c280	add more test content	2025-06-06 18:05:37 -06:00
Landon Taylor	7ee9f4c961	minor changes	2025-06-06 17:10:10 -06:00
Landon Taylor	47a236c035	sample content	2025-06-05 21:51:48 -06:00