Welcome to bill’s documentation!

• Installation
  • Requirements
  • Building tests
• Change Log
  • v0.1 (June 2, 2020)

Standard library

• Introduction
  • Synopsis
  • Decision diagrams
  • Satisfiability solving

Decision diagrams

• ZDD
  • ZDD base

Satisfiability solving

• Interface methods
• Solver interfaces
  • abc_bmcg
  • abc_bsat2
  • ghack
  • glucose
  • maple
  • z3
• Encodings
  • Tseytin encoding
  • XOR clauses
• Cardinality constraints
• Unsatisfiable cores

Indices and tables

• Index

• Search Page