Short manual of ListSize2Obstructions
-------------------------------------

Author: Jan Goedgebeur (jan.goedgebeur@ugent.be)
In collaboration with: Maria Chudnovsky, Oliver Schaudt and Mingxian Zhong

ListSize2Obstructions is a generator for obstructions for list k-colourability where each vertex has exactly two possible colours.

This program has been tested on Linux and Mac OS X.


Installation
------------

The latest version of ListSize2Obstructions can be obtained from http://caagt.ugent.be/listcriticalpfree/

Compile the program using the command: cc -O3 -mpopcnt listsize2_obstructions.c -o listsize2_obstructions


Usage
-----
An overview of all options can also be found by executing "./listsize2_obstructions -h".


Usage: ./listsize2_obstructions <number_of_vertices> c<x> P<y> [options]
At least the number of vertices, c<x> and P<y> must be specified.

Valid options are:
  c<x>: Generates <x>-propagation paths.
  P<x>: Generates P<x>-free graphs (i.e. graphs which do not contain P<x> as induced subgraph).
  OWPP: Same second colour allowed (i.e. generating OWPP's (enabled by default)).
  TWPP: Second colours must be distinct (i.e. generating TWPP's).
  mod <rest> <modulo>: Splits the generation in <modulo> (more or less equally big) parts. Here part <rest> will be executed.


Don't hesitate to contact me at jan.goedgebeur@ugent.be if you have any further questions or suggestions.


Changelog
---------

2019-10-29: Update with support for multiple colours as well as OWPP's and TWPP's.
2016-07-18: First release.