Y (Why Y? no better name yet) is a software repository for experiments/results within a variety of research interests (Descriptive Complexity, Computational Complexity, :Logic, Foundational Mathematics, Quantum Computation, MML, MDL, Algorithmic Information Theory, Computational Linguistics, Wolfram Science): Currently it contains some work on the Threshold Conjecture of K-SAT. Note that to run these you will need Mathematica 6.0 or higher.
| Some Screenshots: |
|
1. Download the zipped SAT (~5 Mb) package, unzip it into an Applications folder (evaluate $UserBaseDirectory to find such a folder).
2. In the unzipped SAT folder structure, locate the file Pad.nb in the folder in SAT/Interface folder. Open this file and evaluate the <<SAT` command in the first cell and the KSATInterface command in the second cell. The K-SATCounter interface should then appear in your notebook as shown in the above snapshots. These snapshots also show the variable settings of some existing functionality.
* Note that the interface is reasonably complex both in terms of the features and its computations so for best results ensure that the Interface fills the screen (with the The K-SATCounter title visible at the top of the notebook) and that other applications aren't occupying too much of the CPU.
* Note all Tabs/Labels marked with * are somewhat functional but still beta.
* To date this has tested on Windows XP using Mathematica 6.02 but should work on other platforms
1. Install the Subversion Plug-in into WolframWorkbench.
2. Set up a link within WolframWorkbench to the repository using the URL: http//vuwebmath.vu.edu.au/Subversion/Y.
3. Check out the Repository into your WW.
4. Email me at ronald.monson *AT* vu.edu.au with suggested new features and to receive a password to allow to modify (commit) the repository.
5. Implement new features and commit to the Repository. (Note that if this has been successfully performed you should be able to observe your commit increasing the revision number by 1 in the Y repository from here)
* All the code resides in this repository however an html version of the code's layout and structure can be seen here.