What
----

PCPSolver is a Java application which (tries to) solve instances of
Post's Correspondence Problem, PCP for short
(http://en.wikipedia.org/wiki/Post_correspondence_problem). For more
information: http://dcatteeu.github.io/pcpsolver.html.


Build and run
-------------

1. Clone repository
2. Go to root directory of the project
3. Build executable JAR with "mvn install"
4. Run with "java -jar target/pcpsolver-1.0-jar-with-dependencies.jar"


Dependencies
------------

Java 6
Maven 3
drc.jsearch.1.0-SNAPSHOT.jar