1. Templates

1.1. Example for AutoTight

class popcor.examples.ExampleLifter(param_level='no')

Bases: StateLifter

Example Lifter class.

This class implements the bare minimum to use AutoTight.

To create a new Lifter for your problem formulation, create a copy of this file and fill in the missing parts.

You can take a look at the Examples for inspiration.

1.2. Example for AutoTemplate

Note

Coming soon: barebone template for AutoTemplate