Commit graph

Select branches

Hide pull requests

main

#10

#11

#13

#15

#17

#19

#21

#24

#25

#27

#30

#33

#34

#35

#37

#39

#41

#6

Mono Color

• 6d7fc9094a Add flag to ignore constants during model equivalence main Brandon Rozek 2025-06-17 22:05:45 -04:00
• 7305b358a9 Added utility scripts Brandon Rozek 2025-05-26 17:38:48 -04:00
• b16376e35c Added model equivalence check Brandon Rozek 2025-05-26 17:36:03 -04:00
• 94a01dd3da Fixed misusage of Model constructor Brandon Rozek 2025-05-26 17:35:05 -04:00
• bd0d836204
  (#40) Consider less subalgebras Brandon Rozek 2025-05-14 20:37:24 -04:00
• 7b652f36eb Transformed subalgebra generation from exponential to linear Brandon Rozek 2025-05-13 13:22:28 -04:00
• 214e9ba658
  (#38) Redid parallel implementation Brandon Rozek 2025-05-13 12:58:22 -04:00
• ec451e007c Removed comment Brandon Rozek 2025-05-13 12:55:24 -04:00
• 4cccdc85b9 Flush print Brandon Rozek 2025-05-13 12:53:46 -04:00
• 6639344280 Stopped bug triggered during timeout Brandon Rozek 2025-05-04 21:07:20 -04:00
• cd084812cc Removed a useless optimization and added one when negation is defined Brandon Rozek 2025-05-04 20:29:02 -04:00
• 01204a9551 Code cleanup Brandon Rozek 2025-05-03 16:42:15 -04:00
• fa9e5026ca [Draft] Changing OrderTable (Currently non-functional) Brandon Rozek 2025-05-03 12:54:37 -04:00
• 6f5074584b Cleanup and small optimizations Brandon Rozek 2025-05-02 12:08:15 -04:00
• de8637bca4 Dedicated process for file parsing Brandon Rozek 2025-04-09 13:00:08 -04:00
• cb00a82c67 Attempt at keeping workers busy Brandon Rozek 2025-04-09 10:59:02 -04:00
• 806309b1ae Adding more work to task queue and more detailed healthcheck Brandon Rozek 2025-04-09 09:51:19 -04:00
• 502252676f Rewrote multiprocessing as the prior approach was unreliable Brandon Rozek 2025-04-08 21:10:28 -04:00
• 154cee0349 Switched to cpu_count Brandon Rozek 2025-03-19 09:29:02 -04:00
• c554c53141 Removed dead code Brandon Rozek 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 Brandon Rozek 2025-03-18 18:08:28 -04:00
• b1452ac672
  (#36) Optimize MaGIC Input Parsing Brandon Rozek 2025-03-18 15:50:56 -04:00
• 1a4857429f Use partition instead of split/join Brandon Rozek 2025-02-18 13:38:39 -05:00
• 2d8540f5c2
  Discarding Order-Dependent Subalgebras (#14) Brandon Rozek 2025-02-09 11:29:57 -05:00
• d431030b41 Added case for when negation is defined Brandon Rozek 2025-02-09 11:28:09 -05:00
• db30799c4f
  Removed unused inequality rules Brandon Rozek 2025-02-09 11:19:23 -05:00
• b1a046b70b Removed unused inequality rules Brandon Rozek 2025-02-09 11:18:52 -05:00
• d76a7fc35d
  Implemented feature #31 Brandon Rozek 2025-02-09 11:16:02 -05:00
• cad3e85cd0 Implemented feature #31 Brandon Rozek 2025-02-09 11:14:27 -05:00
• 54dc6e503c Configurable CPU usage Brandon Rozek 2025-02-09 11:05:40 -05:00
• 2d50cd9479
  Implemented optimization #29 Brandon Rozek 2025-02-09 11:01:14 -05:00
• f9d307969e Added small note Brandon Rozek 2025-02-09 11:00:39 -05:00
• 2ff9f8134c Implemented optimization #29 Brandon Rozek 2025-02-09 10:57:52 -05:00
• 4b907281a5 Implementing optimization #14 Brandon Rozek 2025-01-31 17:16:25 -05:00
• 9f80fb8bba
  Fix Multiprocessing on Windows (#27) Brandon Rozek 2024-12-10 18:39:03 -05:00
• 70cd1cfa7f Small cleanup Brandon Rozek 2024-12-10 18:34:43 -05:00
• b06dd8ee01 Don't rely on shared memory for logic operators Brandon Rozek 2024-12-10 17:17:14 -08:00
• 29526dbec3
  Check models in parallel (#25) Brandon Rozek 2024-11-26 16:26:05 -05:00
• aeb8ae0440 Check models in parallel Brandon Rozek 2024-11-26 16:24:49 -05:00
• fb074ff0e8
  Removed 'a' from model value names (#24) Brandon Rozek 2024-11-26 15:53:35 -05:00
• 10d2e47665 Removed a from model value names Brandon Rozek 2024-11-26 15:52:20 -05:00
• bdc1f1e64d
  Correctly find the top and bottom of the order lattice Brandon Rozek 2024-11-15 15:39:17 -05:00
• 087cbb278e Correctly find the top and bottom of the order lattice Brandon Rozek 2024-11-15 15:38:20 -05:00
• 6317dc054f
  Only Discard Subalgebras with T in Right or B in Left Brandon Rozek 2024-11-12 15:22:18 -05:00
• 30ad57c867 Only discard when top is in the right subalgebra or bottom is in the left Brandon Rozek 2024-11-12 15:18:57 -05:00
• f057ba64fc Updated interface Brandon Rozek 2024-11-05 13:19:44 -05:00
• 8628107704
  Discard subalgebras with bottom/top Brandon Rozek 2024-11-05 13:01:45 -05:00
• 7b93a9ff35
  Support Custom Connectives Brandon Rozek 2024-11-05 12:48:02 -05:00
• 76eeee701e Process nullary connectives Brandon Rozek 2024-11-05 12:45:47 -05:00
• af81342a74 Break out of saturation computation early when top/bottom are found Brandon Rozek 2024-10-30 16:11:03 -04:00
• 9744f976dd Fixed numbering scheme Brandon Rozek 2024-10-28 13:48:36 -04:00
• 17fb542bd0 Progress on handling custom connectives TODO: Fix matrix numbering Brandon Rozek 2024-10-28 12:54:13 -04:00
• e293e5ac3e Finished parse refactor Brandon Rozek 2024-10-28 11:14:33 -04:00
• 4e4e19e117 Clarifying the parsing transition system Brandon Rozek 2024-10-25 14:52:12 -04:00
• bed3d09f4a Check for top and bottom within subalgebra Brandon Rozek 2024-10-24 21:38:36 -04:00
• 312e1aeda5 Updated hack to adapt for custom connective behavior Brandon Rozek 2024-10-24 21:21:39 -04:00
• 646202cb50 Parse custom connectives from header Brandon Rozek 2024-10-24 21:18:56 -04:00
• 84e4d3d1e1
  Changed project name Brandon Rozek 2024-10-15 10:37:44 -04:00
• ff0405d41b
  Added ability to parse necessitation Brandon Rozek 2024-10-15 10:30:34 -04:00
• 8f83cd6abd
  Added another example Brandon Rozek 2024-10-15 10:30:14 -04:00
• a421e24544
  Reworked hack Brandon Rozek 2024-10-15 10:28:16 -04:00
• 46e570103f Added ability to parse necessitation Brandon Rozek 2024-10-04 15:51:05 -04:00
• b4b5a7d4e6 Refactored Brandon Rozek 2024-10-04 14:09:18 -04:00
• 45ee3d546c Removed extraneous print Brandon Rozek 2024-10-04 13:27:57 -04:00
• cd3b8f56df Added summary at end Brandon Rozek 2024-10-04 13:22:40 -04:00
• 5f3825cf72 Added example fragment without negation Brandon Rozek 2024-10-04 13:22:18 -04:00
• 012323bcbc Description of example files Brandon Rozek 2024-10-04 13:16:09 -04:00
• c8b3ca5900
  Fix for Python 3.10 Brandon Rozek 2024-10-04 10:54:08 -04:00
• 9d3e4b1fa6
  Discard models with only one designated value Brandon Rozek 2024-10-04 10:33:44 -04:00
• c8016ab07f
  Handle fragments without negation Brandon Rozek 2024-10-04 10:33:15 -04:00
• d513656422 Handle fragments without negation Brandon Rozek 2024-10-03 23:34:59 -04:00
• 2ed471c92c Discard models with only one designated value Brandon Rozek 2024-10-03 22:00:00 -04:00
• d86601c575 Edited example to check models of R up to size 6 Brandon Rozek 2024-10-03 21:50:05 -04:00
• 83091c31ab Example Ugly Data Format with models of R up to size 6 Brandon Rozek 2024-10-03 21:48:25 -04:00
• 68788ecff6 Print model when it shows VSP Brandon Rozek 2024-10-03 21:47:12 -04:00
• 3b535fdfa5 Optimization: Discard subalgebras with bottom/top Brandon Rozek 2024-10-03 21:38:15 -04:00
• c0ef204e48 Only print matrices when model shows VSP Brandon Rozek 2024-10-03 21:06:23 -04:00
• c9a4f6ce36
  Added line number in error messages Brandon Rozek 2024-06-23 20:02:53 -07:00
• a6ca7ff7a3
  Changed model names to match magics naming structure SIZE.NEGATION.ORDER.DESIGNATED.IMPLICATION Brandon Rozek 2024-06-23 19:49:14 -07:00
• d14ad52798
  Updated README Brandon Rozek 2024-06-15 09:02:31 -07:00
• 960fa82237
  Parsing as regular decimal integers instead of hexadecimal. (PR #6) Brandon Rozek 2024-06-15 08:48:12 -07:00
• d1c56fa6a5
  Parsing as regular decimal integers instead of hexadecimal. Brandon Rozek 2024-06-15 08:46:53 -07:00
• 43bb036008
  Added command in readme Brandon Rozek 2024-05-29 15:34:39 -04:00
• 667eea0c70
  Remove conjunction and disjunction when not well-defined Brandon Rozek 2024-05-29 14:08:03 -04:00
• df5b0f5161
  Pretty printing Brandon Rozek 2024-05-29 13:50:20 -04:00
• 6bb863da97
  Code cleanup Brandon Rozek 2024-05-28 16:05:06 -04:00
• 6b4d5828c8
  Code cleanup and documentation Brandon Rozek 2024-05-28 14:50:31 -04:00
• 81a2d17965 Temporary debugging Brandon Rozek 2024-05-28 13:51:29 -04:00
• 2fa8aa9c15
  Updates - Parses multiple implication tables from magic - Speed improvements to model closure - Make use of prior model_closure computations Brandon Rozek 2024-05-12 13:03:28 -04:00
• cf636eb7fd
  Updates - Fixed VSP check - Parse magic output files disregarding header row - TODO: Fix parsing multiple implication tables in a row Brandon Rozek 2024-05-09 17:08:15 -04:00
• ff666c326e
  Small cleanup Brandon Rozek 2024-05-04 16:51:49 -04:00
• f3c82f090f
  Model of R that has VSP Brandon Rozek 2024-05-03 17:04:03 -04:00
• e105c4bf5e
  Initial draft of VSP check Brandon Rozek 2024-05-03 13:06:52 -04:00
• 39a6bf84fb
  Playing around with orderings Brandon Rozek 2024-04-21 17:37:21 -04:00
• ae8658fda2
  Introduced ordering at model level... Brandon Rozek 2024-04-21 12:15:24 -04:00
• 20ccacc166
  Some optimizations Brandon Rozek 2024-04-15 00:08:00 -04:00
• 9f985740e0
  Initial commit Brandon Rozek 2024-04-08 23:59:21 -04:00