QuipperLib.ClassicalOptim.QuickCheck

Testing an adder

myAdder

myArith

myCircArith

bCircArith

wire_of_endpoint

runArithDry

runArith

testArith5

Randomized tests

choose

genCirc

printSampleCirc

restrict

testCircSimpl

testCircSwap

myQuickTest