Welcome to Arybo’s documentation!

Contents:

• What is Arybo?
• Installation
  • Requirements
  • Quick start using pip
  • Installation from the source using distutils
  • Compilation of libpetanque and pytanque with CMake
  • Compilation of pytanque under Windows
  • llvmlite support
• Usage
  • iarybo, interactive IPython shell
  • Using the arybo library
• Tutorials
  • Symbloc evaluation of a complex function
  • Dirac function
• Concepts
  • Representation of boolean expressions and bit-vectors
  • Integer arithmetic operations
  • Application
  • What could be improved
  • Interesting idea/algorithms to implement
• Integration with other tools
  • Triton
  • IDA
• Arybo reference
• pytanque reference