Changes

Jump to navigation Jump to search
Line 77: Line 77:  
  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
  

Navigation menu