1,770
edits
Changes
mLine 1:
Line 1: + + Line 77:
Line 79: − +
Bernie moved page Service/obs to Obsolete Service/obs
{{Obsolete}}
== Hostnames ==
== Hostnames ==
su - obs
su - obs
cd ~/app/src/backend/sat-solver
cd ~/app/src/backend/sat-solver
cmake . -DDEBIAN=1
cmake . -DMULTI_SEMANTICS=1
make
make