righ1113 / 4CT_FSharp

四色定理を F# に移植したよ

righ1113/4CT_FSharp Issues

[Discharge]CheckBound()内のReduce()がfalseを返す2
Closed 4 years ago1
[Discharge]CheckBound()内のUnexpected error 321アサートをパスする
Closed 4 years ago1
[Discharge]CheckBound()内のReduce()がfalseを返す
Closed 4 years ago1
[Discharge]CheckBound()のUnexpected error 101アサートをパスする
Closed 4 years ago1
[Discharge]GetEdgelist()のUnexpected error in `GetEdgeList'アサートをパスする
Closed 4 years ago1
[Reduce]findangles()のdiffangle.[0].[0]に仕方なく0をセットしている
Closed 4 years ago1
[Reduce]CheckContractSub()の1024 times!アサートをパスする
Closed 4 years ago1
[Reduce]checkContract()のDISCREPANCY IN EXTERIOR SIZEアサートをパスする
Closed 4 years ago1
[Reduce]checkContract()のNO CONTRACT PROPOSEDアサートをパスする
Closed 4 years ago1
[Reduce]checkContract()のCONTRACT PROPOSEDアサートをパスする
Closed 4 years ago2
[Reduce]live＿Printstatus()のDISCREPANCY IN NUMBER OF EXTENDING COLOURINGSアサートをパスする
Closed 4 years ago1
[Reduce]FindanglesSub2()のCONTRACT IS NOT SPARSEアサートをパスする
Closed 4 years ago1
[Discharge]Reduce()を完成させる
Closed 4 years ago1
[Discharge]CheckBound()の再帰を完成させる
Closed 4 years ago1
[Discharge]checkHubcap()のInvalid hubcapアサートをパスする2
Closed 4 years ago1
[Discharge]checkHubcap()のInvalid hubcapアサートをパスする
Closed 4 years ago1
[Discharge]checkHubcap()のInvalid double coverアサートをパスする
Closed 4 years ago1
[Discharge]checkHubcap()のInvalid hubcap memberアサートをパスする
Closed 4 years ago1
[Discharge]checkCondition2()のInvalid lower bound in conditionアサートをパスする
Closed 4 years ago1
[Discharge]checkSymmetry()のNo symmetry as requestedアサートをパスする
Closed 4 years ago1
[Discharge]checkSymmetry()のInvalid reflected symmetryアサートをパスする
Closed 4 years ago1
[Discharge]checkSymmetry()のLevel mismatchアサートをパスする
Closed 4 years ago1
[Discharge]checkSymmetry()のIllegal symmetryアサートをパスする
Closed 4 years ago1