Welcome to lorina’s documentation!

• Introduction
  • Synopsis
  • Customization
  • Diagnostics
• Installation
  • Building examples
  • Building tests
• Change Log
  • v0.3 (Not yet released)
  • v0.2 (October 18, 2018)
  • v0.1 (April 27, 2018)
• Acknowledgments

Readers

• Parsers
  • AIGER format
  • BENCH format
  • BLIF format
  • PLA format
  • VERILOG format

Diagnostics

• Diagnostics

Indices and tables