Commit graph

97 commits

Author SHA1 Message Date
6d7fc9094a Add flag to ignore constants during model equivalence 2025-06-17 22:05:45 -04:00
7305b358a9 Added utility scripts 2025-05-26 17:38:48 -04:00
b16376e35c Added model equivalence check 2025-05-26 17:36:03 -04:00
94a01dd3da Fixed misusage of Model constructor 2025-05-26 17:35:05 -04:00
bd0d836204
(#40) Consider less subalgebras 2025-05-14 20:37:24 -04:00
7b652f36eb Transformed subalgebra generation from exponential to linear 2025-05-13 13:22:28 -04:00
214e9ba658
(#38) Redid parallel implementation
Queue-based parallel implementation with dedicated file reader node and dedicated VSP verifier nodes.

Additionally, cleaned up the other files.
2025-05-13 12:58:22 -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