Commit graph

Select branches

Hide pull requests

feat/2

feat/46

fix/model2matrix

main

opt/14

opt/36

opt/38

opt/47

#10

#11

#13

#15

#17

#19

#21

#24

#25

#27

#30

#33

#34

#35

#37

#39

#41

#43

#44

#44

#48

#49

#50

#52

#6

v1.1

v1.2

Mono Color

• 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