Testes das bibliotecas de Sintese lógica disponíveis em https://github.com/lsils/lstools-showcase
- alice: C++ command shell library
- bill: C++ reasoning library
- caterpillar: C++ quantum circuit synthesis library
- easy: C++ exclusive-or sum-of-product (ESOP) library
- kitty: C++ truth table library
- lorina: C++ parsing library
- mockturtle: C++ logic network library
- percy: C++ exact synthesis library
- tweedledum: C++ quantum compilation library
- angel: C++ quantum state preparation library