All modules for which code is available

• arxpy.bitvector.context
• arxpy.bitvector.core
• arxpy.bitvector.extraop
• arxpy.bitvector.operation
• arxpy.bitvector.printing
• arxpy.differential.characteristic
• arxpy.differential.derivative
• arxpy.differential.difference
• arxpy.primitives.chaskey
• arxpy.primitives.hight
• arxpy.primitives.lea
• arxpy.primitives.primitives
• arxpy.primitives.shacal1
• arxpy.primitives.shacal2
• arxpy.primitives.simon
• arxpy.primitives.speck
• arxpy.primitives.tea
• arxpy.primitives.xtea
• arxpy.smt.search_differential
• arxpy.smt.search_impossible
• arxpy.smt.types
• arxpy.smt.verification_differential
• arxpy.smt.verification_impossible