righ1113/4CT_FSharp

Issues

• [Discharge]CheckBound()内のReduce()がfalseを返す2

  #24 opened 4 years ago by righ1113
  1

• [Discharge]checkSymmetry()のNo symmetry as requestedアサートをパスする

  #4 opened 4 years ago by righ1113
  1

• [Discharge]checkSymmetry()のInvalid reflected symmetryアサートをパスする

  #3 opened 4 years ago by righ1113
  1

• [Discharge]checkSymmetry()のLevel mismatchアサートをパスする

  #2 opened 4 years ago by righ1113
  1

• [Discharge]checkSymmetry()のIllegal symmetryアサートをパスする

  #1 opened 4 years ago by righ1113
  1

• [Discharge]CheckBound()内のUnexpected error 321アサートをパスする

  #23 opened 5 years ago by righ1113
  1

• [Discharge]CheckBound()内のReduce()がfalseを返す

  #22 opened 5 years ago by righ1113
  1

• [Discharge]CheckBound()のUnexpected error 101アサートをパスする

  #21 opened 5 years ago by righ1113
  1

• [Discharge]CheckBound()の再帰を完成させる

  #10 opened 5 years ago by righ1113
  1

• [Discharge]checkHubcap()のInvalid hubcapアサートをパスする2

  #9 opened 5 years ago by righ1113
  1

• [Discharge]checkHubcap()のInvalid hubcapアサートをパスする

  #8 opened 5 years ago by righ1113
  1

• [Discharge]checkHubcap()のInvalid double coverアサートをパスする

  #7 opened 5 years ago by righ1113
  1

• [Discharge]checkHubcap()のInvalid hubcap memberアサートをパスする

  #6 opened 5 years ago by righ1113
  1

• [Discharge]GetEdgelist()のUnexpected error in `GetEdgeList'アサートをパスする

  #20 opened 5 years ago by righ1113
  1

• [Discharge]Reduce()を完成させる

  #11 opened 5 years ago by righ1113
  1

• [Discharge]checkCondition2()のInvalid lower bound in conditionアサートをパスする

  #5 opened 5 years ago by righ1113
  1

• [Reduce]checkContract()のDISCREPANCY IN EXTERIOR SIZEアサートをパスする

  #16 opened 5 years ago by righ1113
  1

• [Reduce]live＿Printstatus()のDISCREPANCY IN NUMBER OF EXTENDING COLOURINGSアサートをパスする

  #13 opened 5 years ago by righ1113
  1

• [Reduce]findangles()のdiffangle.[0].[0]に仕方なく0をセットしている

  #18 opened 5 years ago by righ1113
  1

• [Reduce]FindanglesSub2()のCONTRACT IS NOT SPARSEアサートをパスする

  #12 opened 5 years ago by righ1113
  1

• [Reduce]CheckContractSub()の1024 times!アサートをパスする

  #17 opened 5 years ago by righ1113
  1

• [Reduce]checkContract()のNO CONTRACT PROPOSEDアサートをパスする

  #15 opened 5 years ago by righ1113
  1

• [Reduce]checkContract()のCONTRACT PROPOSEDアサートをパスする

  #14 opened 5 years ago by righ1113
  2