/knight_tour_picat

Experiments with SAT-solving the Knight's Tour problem.

This repository is not active