README Release Notes

July 23, 2010 ยท View on GitHub

  ##  ##  #####    #####   $$$$$   $$$$   $$$$$$    
  ##  ##  ##  ##  ##      $$      $$  $$    $$      
  ##  ##  #####   ##       $$$$   $$$$$$    $$      
  ##  ##  ##  ##  ##          $$  $$  $$    $$      
   ####   #####    #####  $$$$$   $$  $$    $$

====================================================== SLS SAT Solver from The University of British Columbia

...Developed by Dave Tompkins (davet [@] cs.ubc.ca)...

... project website: http://www.satlib.org/ubcsat ....

.....e-mail ubcsat-help [@] cs.ubc.ca for support.....

README Release Notes

The website should be consulted for the latest news on the ubcsat project

http://www.satlib.org/ubcsat (or, alternatively, www.cs.ubc.ca/~davet/ubcsat)

  • to get started with ubcsat, we recommend you consult the online "Quick Start" guide

  • the FAQ may also help with some of your initial questions

  • please do not hesitate to contact us via e-mail regarding any questions, problems, suggestions, comments

  • To receive updates when new versions of ubcsat are available, and other exciting ubcsat news, we highly recommend you subscribe to our mailing list.

    Note that the mailing list is moderated, spam-free, and and will not be abused.

    to subscribe, send a message to majordomo@cs.ubc.ca with the text:

    subscribe ubcsat-updates

    as the body (not the header) of the message

  • If you want to understand how to write code and interface with the code, we suggest you read the paper

    then look at an algorithm implementation (i.e.: walksat-tabu.c) and then...

    for now (more documentation forthcoming) look at code examples on how to use:

    (ubcsat-globals.h) -- describes all the global variables and routines you need

    (ubcsat-triggers.h) -- describes the available triggers and their data structures