|
|
6639344280
|
Stopped bug triggered during timeout
|
2025-05-04 21:07:20 -04:00 |
|
|
|
01204a9551
|
Code cleanup
|
2025-05-03 16:42:15 -04:00 |
|
|
|
6f5074584b
|
Cleanup and small optimizations
|
2025-05-02 12:08:15 -04:00 |
|
|
|
de8637bca4
|
Dedicated process for file parsing
|
2025-04-09 13:00:08 -04:00 |
|
|
|
cb00a82c67
|
Attempt at keeping workers busy
|
2025-04-09 10:59:02 -04:00 |
|
|
|
806309b1ae
|
Adding more work to task queue and more detailed healthcheck
|
2025-04-09 09:51:19 -04:00 |
|
|
|
502252676f
|
Rewrote multiprocessing as the prior approach was unreliable
|
2025-04-08 21:10:28 -04:00 |
|
|
|
154cee0349
|
Switched to cpu_count
|
2025-03-19 09:31:25 -04:00 |
|
|
|
c554c53141
|
Removed dead code
|
2025-03-19 09:22:54 -04:00 |
|
|
|
4412b6c2da
|
Redid parallel implementation
- Made parse_matrices into a generator
- Keep track of num_proccesses results and spawn new ones when done
|
2025-03-18 18:08:28 -04:00 |
|
|
|
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 |
|
