|
|
f7fa8f4b7b
|
Added some utility scripts
|
2025-05-26 17:30:25 -04:00 |
|
|
|
d10e64e83c
|
Added model equivalence check
|
2025-05-26 17:29:30 -04:00 |
|
|
|
47128b5c9e
|
Fixed mis-usage of model constructor
|
2025-05-26 17:28:32 -04:00 |
|
|
|
ec451e007c
|
Removed comment
|
2025-05-13 12:55:24 -04:00 |
|
|
|
4cccdc85b9
|
Flush print
|
2025-05-13 12:53:46 -04:00 |
|
|
|
6639344280
|
Stopped bug triggered during timeout
|
2025-05-04 21:07:20 -04:00 |
|
|
|
cd084812cc
|
Removed a useless optimization and added one when negation is defined
|
2025-05-04 20:29:02 -04:00 |
|
|
|
01204a9551
|
Code cleanup
|
2025-05-03 16:42:15 -04:00 |
|
|
|
fa9e5026ca
|
[Draft] Changing OrderTable (Currently non-functional)
|
2025-05-03 12:54:37 -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 |
|
|
|
b1452ac672
|
(#36) Optimize MaGIC Input Parsing
|
2025-03-18 15:50:56 -04:00 |
|
|
|
1a4857429f
|
Use partition instead of split/join
|
2025-02-18 13:38:39 -05: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 |
|
|
|
db30799c4f
|
Removed unused inequality rules
|
2025-02-09 11:19:23 -05:00 |
|
|
|
b1a046b70b
|
Removed unused inequality rules
|
2025-02-09 11:18:52 -05:00 |
|
|
|
d76a7fc35d
|
Implemented feature #31
Skip VSP check until a certain model name is found
|
2025-02-09 11:16:02 -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 |
|
|
|
2d50cd9479
|
Implemented optimization #29
Discard subalgebras that don't have at least one designated value
|
2025-02-09 11:01:14 -05:00 |
|
|
|
f9d307969e
|
Added small note
|
2025-02-09 11:00:39 -05:00 |
|
|
|
2ff9f8134c
|
Implemented optimization #29
|
2025-02-09 10:57:52 -05:00 |
|
|
|
4b907281a5
|
Implementing optimization #14
Discard subalgebras which are order-dependent
|
2025-01-31 17:16:25 -05:00 |
|
|
|
9f80fb8bba
|
Fix Multiprocessing on Windows (#27)
|
2024-12-10 18:39:03 -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 |
|
|
|
29526dbec3
|
Check models in parallel (#25)
|
2024-11-26 16:26:05 -05:00 |
|
|
|
aeb8ae0440
|
Check models in parallel
|
2024-11-26 16:24:49 -05:00 |
|
|
|
fb074ff0e8
|
Removed 'a' from model value names (#24)
|
2024-11-26 15:53:35 -05:00 |
|
|
|
10d2e47665
|
Removed a from model value names
|
2024-11-26 15:52:20 -05:00 |
|
|
|
bdc1f1e64d
|
Correctly find the top and bottom of the order lattice
|
2024-11-15 15:39:17 -05:00 |
|
|
|
087cbb278e
|
Correctly find the top and bottom of the order lattice
|
2024-11-15 15:38:20 -05:00 |
|
|
|
6317dc054f
|
Only Discard Subalgebras with T in Right or B in Left
|
2024-11-12 15:22:18 -05:00 |
|
|
|
30ad57c867
|
Only discard when top is in the right subalgebra or bottom is in the left
|
2024-11-12 15:18:57 -05:00 |
|
|
|
f057ba64fc
|
Updated interface
|
2024-11-05 13:19:44 -05:00 |
|
|
|
8628107704
|
Discard subalgebras with bottom/top
|
2024-11-05 13:01:45 -05:00 |
|
|
|
7b93a9ff35
|
Support Custom Connectives
|
2024-11-05 12:48:02 -05:00 |
|
|
|
76eeee701e
|
Process nullary connectives
|
2024-11-05 12:45:47 -05:00 |
|
|
|
af81342a74
|
Break out of saturation computation early when top/bottom are found
|
2024-10-30 16:11:03 -04:00 |
|
|
|
9744f976dd
|
Fixed numbering scheme
|
2024-10-28 13:48:36 -04:00 |
|
|
|
17fb542bd0
|
Progress on handling custom connectives
TODO: Fix matrix numbering
|
2024-10-28 12:54:13 -04:00 |
|
|
|
e293e5ac3e
|
Finished parse refactor
|
2024-10-28 11:14:33 -04:00 |
|
|
|
4e4e19e117
|
Clarifying the parsing transition system
|
2024-10-25 14:52:12 -04:00 |
|
