Commit graph

Select branches

Hide pull requests

feature/22

feature/23

fix/18

main

opt/9

#10

#11

#13

#15

#17

#19

#21

#24

#25

#6

Mono Color

• 29526dbec3
  Check models in parallel (#25) main Brandon Rozek 2024-11-26 16:26:05 -05:00
• aeb8ae0440 Check models in parallel feature/23 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 feature/22 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 fix/18 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 opt/9 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