satool is a tool for managing SAT format.
- zlib
Please use the following code to install satool:
git clone https://github.com/dfguan/satool.git
cd satool/src && make
Given a sat file, convert it into AGP format
bin/satool agp $sat > t.agp
Given a scaffold name scf and sat, visualize it
bin/satool vis -s $scf $sat > t.dot
dot -Tpng -o t.png t.dot
