Skip to content

Latest commit

 

History

History
31 lines (19 loc) · 630 Bytes

README.md

File metadata and controls

31 lines (19 loc) · 630 Bytes

SBSAT

A state-based satisfiability solver.

Used primarily for solving instances of a generalization of the well-known Satisfiability problem.

Homepage: http://gauss.ececs.uc.edu/franco_files/sbsat.html

Quick start

  1. ./configure
  2. make
  3. make check

Internal Compatibility testing:

  • i386 Linux RH7.3 and EL WS3
  • i386 Windows Cygwin
  • Sparc Solaris 9
  • G4 Mac OS X 10.3.5

To create a CD:

mkisofs -o /SBSatCD1.8/sbsatcd18.iso -V SBSat_1_8 -r -J -hfs /work/CD

test it before burning:

mount -o loop,ro /SBSatCD1.8/sbsatcd18.iso /mnt
umount /mnt
/sbin/losetup -d /dev/loop0