Skip to content
/ ubcsat Public
forked from dtompkins/ubcsat

The Stochastic Local Search SAT Solver from UBC

Notifications You must be signed in to change notification settings

shamisp/ubcsat

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

      ##  ##  #####    #####   $$$$$   $$$$   $$$$$$    
      ##  ##  ##  ##  ##      $$      $$  $$    $$      
      ##  ##  #####   ##       $$$$   $$$$$$    $$      
      ##  ##  ##  ##  ##          $$  $$  $$    $$      
       ####   #####    #####  $$$$$   $$  $$    $$      
  ======================================================
  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

About

The Stochastic Local Search SAT Solver from UBC

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 99.0%
  • Other 1.0%