Skip to content

Examples

This is a collection of examples for applying asplain. These examples are of varying complexity and cover a range of problem types that benefit from explanations. The corresponding encodings for each example are available in the project's repository.

  • James Bond

    A simple encoding with no variables

    James Bond Example

    See Example

  • Cat & Dog Seating

    A simple assignment encoding with variables

    Cat & Dog Seating Example

    See Example

  • Don't Drive Drunk

    A simple encoding using variables

    Don't Drive Drunk Example

    See Example

  • Sudoku

    A sudoku encoding covering 4x4 or 9x9 instances

    Sudoku Example

    See Example