V 0.6 solitaire

V0.6 using synthesis tool developed by Boris Düdder

The V0.6 solution was constructed from a library as follows:

• narcotic

• narcotic.inhab
• narcotic.scs

• solitaire

• Solitaire.inhab
• Solitaire.scs
• moves

• DeckMove.{inhab, scs}
• PileMove.{inhab, scs}
• ResetDeckMove.{inhab, scs}

• controllers

• ColumnController.{inhab, scs}
• DeckController.{inhab, scs}
• PileController.{inhab, scs}

The above structure decompose the problem into a number of independent files, which are imported by narcotic.inhab and narcotic.scs.

Download

To Install this version (tested on a standard Windows 10 PC), Install V0.6. The following V-0.6-README contains instructions.

Test out the Narcotic Variation which shows the following starting board: