PermutaTriangle/comb_spec_searcher

Issues

• Stuck "solving equations"

  #351 opened 2 years ago by jaypantone
  1

• stuck in _group_equiv_in_path() after expanding monotone tree tiling

  #344 opened 2 years ago by jaypantone
  2

• change the behavior with sanity checking verification rules

  #332 opened 2 years ago by jaypantone
  0

• Feature request: A portion of the status update that tells you how many rules were produced by each strategy/factory.

  #328 opened 3 years ago by jaypantone
  1

• Counts are sometime sympy integer.

  #319 opened 3 years ago by permutatriangle-CI
  0

• Spec won't build b/c broken equivalence rule

  #311 opened 3 years ago by jaypantone
  5

• Spec from May 2021 no longer counts

  #309 opened 3 years ago by jaypantone
  3

• Delete unuse comb_class method

  #302 opened 3 years ago by enadeau
  0

• Memory usage when sampling

  #310 opened 3 years ago by jaypantone
  3

• Fix expand_verified

  #305 opened 3 years ago by jaypantone
  0

• Problematic spec building for 0321_2103

  #275 opened 4 years ago by jaypantone
  0

• SpecificationNotFound when expanding verified

  #204 opened 4 years ago by jaypantone
  1

• Investigate using LRU cache's to preserve combclass properties and reduce (de)compression

  #111 opened 4 years ago by jaypantone
  0

• Expand verified objects

  #143 opened 4 years ago by ulfarsson
  0

• Redundant rules passed to CombinatorialSpecification?

  #112 opened 4 years ago by christianbean
  0

• Keep multiple versions of a spec

  #144 opened 4 years ago by ulfarsson
  0

• Fix the symbol alignement when printing rules

  #132 opened 4 years ago by enadeau
  0

• Delay building constructors until needed

  #164 opened 4 years ago by ulfarsson
  0

• AssertionError: parameters did not match comb_class for the rule

  #161 opened 4 years ago by jaypantone
  0

• KeyError for "rule = equivalence_rules[(b, a)].to_reverse_rule()"

  #155 opened 4 years ago by jaypantone
  7

• Initial condition for combclass with extra parameters

  #146 opened 4 years ago by enadeau
  1

• AssertionError: parameters did not match comb_class for the rule

  #151 opened 4 years ago by jaypantone
  0

• assert set(parameters) == set(self.comb_class.extra_parameters)

  #149 opened 4 years ago by jaypantone
  0

• AssertionError: parameters did not match comb_class for the rule

  #150 opened 4 years ago by jaypantone
  0

• ValueError: not enough values to unpack (expected 2, got 1)

  #142 opened 5 years ago by jaypantone
  0

• Elaborate updates are broken

  #96 opened 5 years ago by jaypantone
  0

• Implementation of CombinatorialClasses.compress

  #63 opened 5 years ago by enadeau
  1

• Remove the dependency on permuta

  #27 opened 5 years ago by enadeau
  1

• Make ProofTree free from Tilescope

  #2 opened 7 years ago by tomkenmag
  0