SAT Solver SST Element

An asynchronous SAT solver implementation for the Structural Simulation Toolkit (SST).

• SST Framework installed and configured
• Boost libraries (context, coroutine)
• C++ compiler with C++11 support

# Build the library
make

# Register with SST
make install

# Run tests
make test

# Clean build artifacts
make clean

sst-sat/
├── src/           # Source code and headers
├── tests/         # Test files and scripts
├── tools/         # Analysis and utility scripts
├── examples/      # Example CNF files and data
└── build/         # Build artifacts (generated)

Run the SAT solver with a CNF file:

cd tests
python test_basic.py --cnf test.cnf --verbose 1

• make or make build - Build the shared library
• make install - Build and register with SST
• make clean - Remove build artifacts
• make test - Run basic tests