https://github.com/TakehideSoh/SAF
Tip revision: e66d2177e28e3d67e22eb746ad49bc8884f5b055 authored by TakehideSoh on 22 June 2023, 06:04:05 UTC
Merge pull request #1 from TakehideSoh/dev
Merge pull request #1 from TakehideSoh/dev
Tip revision: e66d217
runningexample.an
"a" [0, 1]
"b" [0, 1]
"c" [0, 1, 2]
"a" 0 -> 1 when "b"=1 and "c"=2
"a" 0 -> 1 when "c"=0
"a" 1 -> 0 when "b"=0
"b" 1 -> 0 when "a"=0 and "c"=0
"c" 0 -> 1 when "a"=0
"c" 1 -> 2 when "a"=0 and "b"=0
"c" 1 -> 2 when "a"=1 and "b"=1
"c" 2 -> 1
"c" 1 -> 0 when "a"=0 and "b"=0
