-
Notifications
You must be signed in to change notification settings - Fork 6
V 0.6 README
Boris Dudder and Jakob Rehof Faculty of Computer Science Technical University of Dortmund, Dortmund, Germany Email: {boris.duedder, jakob.rehof}@cs.tu-dortmund.de
George T. Heineman Department of Computer science Worcester Polytechnic Institute, 100 Institute Road, Worcester, MA, USA Email: [email protected]
This package contains three folders
* scripts -- contains all .bat file scripts
* CompiledArea -- directory into which code is synthesized
* FeaturesAndBCL -- directory containing (CL)S tool
+ InhabConsoleClient -- (CL)S executables
+ Solitaire -- (CL)S specifications for variations
+ Models
+ Library -- Repository of (CL)S combinators for KS
Must run on a Windows PC.
The tools are compiled using Microsoft Visual Studio (F#) and require version v4.5 of the .NETFramework. When you launch the tool, if you don't have the proper version installed, you will see the following message:
To run this application you must first install one of the
following versions of the
.NET Framework: .NETFramework, Version=v4.5
If you confirm that you want to download this version, you will be brought to the following web site:
http://dotnetsocial.cloudapp.net/GetDotnet?tfm=.NETFramework,Version=v4.5
You must have administrator privileges to install the framework libraries.
Simply unzip this file and you will create the two directories above
Included with this release are the tools and three solitaire specifications. To synthesize the variations, open an MS-CMD window and cd into the scripts directory:
There you will see three batch executable scripts:
* synthesizeNarcotic.bat
* synthesizeFreeCell.bat
* synthesizeKlondike.bat (Note that Klondike has partial implementation to date)
When you execute each one, code is generated and placed within the following directory:
CompiledArea\src
Executing all three batch files will create three subdirectories, one for each variation
If you have Eclipse installed, the CompiledArea is an Eclipse project which you could import and the code will automatically compile.
Otherwise, you need access to a Java compiler. The Kombat Solitaire (KS) framework is provided as a JAR file in the CompiledArea\lib\standAlone.jar
To compile the variations, run these scripts
* compileNarcotic.bat
* compileFreeCell.bat
* compileKlondike.bat
These compile using the KS code libraries provided in the standalone JAR file.
To run the variations, execute:
* runNarcotic.bat
* runFreeCell.bat
* runKlondike.bat (remember: partial implementation only)