constraints

tests

package tests

Visibility
  1. Public
  2. All

Type Members

  1. class NQueensApplet extends Applet

Value Members

  1. object BigSudokuGen extends SimpleSwingApplication with SearchEngineTrait with StopWatch

    Sudoku generator on NxN grids where N is a Square This is a N coloring Problem but a specific heuristic is used here - this is a generator assuming an empty grid - solution proceeds by working on the internal Square - AllDiff on Squares are kept invariant (initialisation + swap strategy) - best delta is used and switch cells are added to tabu

  2. object MagicSquare extends SearchEngine with StopWatch

    Example showing how to use Asteroid on the magic square problem

  3. object NQueens extends SearchEngine with StopWatch

    Simple NQueen solved using a swap strategy with tabu search

  4. object NQueens2 extends SearchEngine with StopWatch

    NQueen for larger problems : - queens are always on different rows - neightboorhood is queen swap - first queeen is among most violated ones; maintained through invariant - second is first one leading to a decrease in violation when swap is performed tabu on moved queens.

  5. object NQueens3 extends SearchEngine with StopWatch

    Another variant of to solve the NQueen problem

  6. object NQueensWithUI extends SimpleSwingApplication with SearchEngineTrait

  7. object PigeonHoles extends SearchEngine with StopWatch

    Very simple example showing how to use Asteroid on the basic pigeon hole problem Using constraint system (better alternative: use ArgMax to keep track of violation)

  8. object SendMoreMoney extends SearchEngine with StopWatch

    Very simple example showing how to use Asteroid on the basic SEND+MORE=MONEY Using a generic constrained directed search

  9. object SimpleSudoku extends SearchEngine with StopWatch

    Simple Sudoku (for 9x9 grid) This is a 9 coloring problem but a specific heuristic is used here - solution proceeds by working on the internal square - AllDiff on squares are kept invariant (initialisation + swap strategy) - best delta is used and switch cells are added to tabu - could be generalised