Cross Reference: satallax.install
xref
: /
hets
/
utils
/
ubuntu
/
packages
/
satallax-2.7
/
debian
/
satallax.install
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
satallax.install revision 91c0a04f8a6d3c1121460346e0e12cf40c4e1faa
bin/satallax
usr/bin
/
bin/dllminisatinterface.so
usr/lib/satallax
coq/*
usr/share/satallax/coq
/
coq2/*
usr/share/satallax/coq2
/
modes/*
usr/share/satallax/modes
/
problems/*
usr/share/satallax/problems
/
picosat-936/picomus
usr/bin
picosat-936/picosat
usr/bin