Ascent++
Search
Assertion list
for term "1 true".
Results from
Ascent++
:
2
output
(
aspect
of
gate
)
→
HasProperty
→
1 true
0.28
reset
→
HasProperty
→
1 true
0.25