The Stochastic Local Search SAT Solver from UBC
C C++
Fetching latest commit…
Cannot retrieve the latest commit at this time.

readme.txt

      ##  ##  #####    #####   $$$$$   $$$$   $$$$$$    
      ##  ##  ##  ##  ##      $$      $$  $$    $$      
      ##  ##  #####   ##       $$$$   $$$$$$    $$      
      ##  ##  ##  ##  ##          $$  $$  $$    $$      
       ####   #####    #####  $$$$$   $$  $$    $$      
  ======================================================
  SLS SAT Solver from The University of British Columbia
  ======================================================
  ...Developed by Dave Tompkins (davet [@] cs.ubc.ca)...
  ------------------------------------------------------
  .......consult legal.txt for legal information........
  ......consult revisions.txt for revision history......
  ------------------------------------------------------
  ... 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