|
|
2d8540f5c2
|
Discarding Order-Dependent Subalgebras (#14)
|
2025-02-09 11:29:57 -05:00 |
|
|
|
d431030b41
|
Added case for when negation is defined
|
2025-02-09 11:28:09 -05:00 |
|
|
|
cad3e85cd0
|
Implemented feature #31
|
2025-02-09 11:14:27 -05:00 |
|
|
|
54dc6e503c
|
Configurable CPU usage
|
2025-02-09 11:05:40 -05:00 |
|
|
|
70cd1cfa7f
|
Small cleanup
|
2024-12-10 18:34:43 -05:00 |
|
|
|
b06dd8ee01
|
Don't rely on shared memory for logic operators
|
2024-12-10 17:17:14 -08:00 |
|
|
|
aeb8ae0440
|
Check models in parallel
|
2024-11-26 16:24:49 -05:00 |
|
|
|
f057ba64fc
|
Updated interface
|
2024-11-05 13:19:44 -05:00 |
|
