add_library(ffheuristic
  ffadd.cpp
  ffassign.cpp
  ffastore.cpp
  ffback.cpp
  ffedge.cpp
  ffgoal.cpp
  ffheur.cpp
  ffiguard.cpp
  ffloc.cpp
  ffsolution.cpp
  ffsystem.cpp
  ffvar.cpp)
