Link Grammar Make Error

gistfile1.txt

Undefined symbols for architecture x86_64:
  "std::__1::__vector_base_common<true>::__throw_length_error() const", referenced from:
      std::__1::vector<int, std::__1::allocator<int> >::__append(unsigned long) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >::__push_back_slow_path<PositionConnector* const>(PositionConnector* const&) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<std::__1::pair<PositionConnector const*, PositionConnector const*>, std::__1::allocator<std::__1::pair<PositionConnector const*, PositionConnector const*> > >::__push_back_slow_path<std::__1::pair<PositionConnector const*, PositionConnector const*> const>(std::__1::pair<PositionConnector const*, PositionConnector const*> const&) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<WordTag, std::__1::allocator<WordTag> >::__push_back_slow_path<WordTag const>(WordTag const&) in libsat-solver.a(sat-encoder.o)
      WordTag::WordTag(WordTag const&) in libsat-solver.a(sat-encoder.o)
      std::__1::vector<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> >, std::__1::allocator<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> > > >::vector(std::__1::vector<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> >, std::__1::allocator<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> > > > const&) in libsat-solver.a(sat-encoder.o)
      std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >::vector(std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> > const&) in libsat-solver.a(sat-encoder.o)
      ...
  "std::__1::locale::use_facet(std::__1::locale::id&) const", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
      ...
  "std::__1::ios_base::getloc() const", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
      ...
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::__init(char const*, unsigned long)", referenced from:
      SATEncoder::empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      SATEncoder::non_empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      Variables::add_link_variable(int, int, char const*, Exp_struct*, int, int, char const*, Exp_struct*, unsigned long) in libsat-solver.a(sat-encoder.o)
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::__init(char const*, unsigned long, unsigned long)", referenced from:
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::__init(unsigned long, char)", referenced from:
      std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> > std::__1::__pad_and_output<char, std::__1::char_traits<char> >(std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> >, char const*, char const*, char const*, std::__1::ios_base&, char) in libsat-solver.a(sat-encoder.o)
      std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> > std::__1::__pad_and_output<char, std::__1::char_traits<char> >(std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> >, char const*, char const*, char const*, std::__1::ios_base&, char) in libsat-solver.a(word-tag.o)
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::push_back(char)", referenced from:
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::basic_string(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&)", referenced from:
      Variables::add_link_variable(int, int, char const*, Exp_struct*, int, int, char const*, Exp_struct*, unsigned long) in libsat-solver.a(sat-encoder.o)
  "std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >::~basic_string()", referenced from:
      SATEncoder::empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      SATEncoder::non_empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> > std::__1::__pad_and_output<char, std::__1::char_traits<char> >(std::__1::ostreambuf_iterator<char, std::__1::char_traits<char> >, char const*, char const*, char const*, std::__1::ios_base&, char) in libsat-solver.a(sat-encoder.o)
      Variables::~Variables() in libsat-solver.a(sat-encoder.o)
      Variables::add_link_variable(int, int, char const*, Exp_struct*, int, int, char const*, Exp_struct*, unsigned long) in libsat-solver.a(sat-encoder.o)
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
      ...
  "std::__1::basic_ostream<char, std::__1::char_traits<char> >::put(char)", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
  "std::__1::basic_ostream<char, std::__1::char_traits<char> >::flush()", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
  "std::__1::basic_ostream<char, std::__1::char_traits<char> >::sentry::sentry(std::__1::basic_ostream<char, std::__1::char_traits<char> >&)", referenced from:
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "std::__1::basic_ostream<char, std::__1::char_traits<char> >::sentry::~sentry()", referenced from:
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "std::__1::basic_ostream<char, std::__1::char_traits<char> >::operator<<(int)", referenced from:
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
  "std::__1::cerr", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
  "std::__1::cout", referenced from:
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      SATEncoderConjunctionFreeSentences::sat_extract_links(Linkage_s*) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
  "std::__1::ctype<char>::id", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
      ...
  "void std::__1::__sort<std::__1::__less<int, int>&, int*>(int*, int*, std::__1::__less<int, int>&)", referenced from:
      SATEncoder::generate_disconnectivity_prohibiting(std::__1::vector<int, std::__1::allocator<int> >) in libsat-solver.a(sat-encoder.o)
  "std::__1::locale::~locale()", referenced from:
      SATEncoder::generate_satisfaction_for_expression(int, int&, Exp_struct*, char*, double) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
      PositionConnector::PositionConnector(Exp_struct*, Connector_struct*, char, int, int, double, double, bool, bool, std::__1::vector<int, std::__1::allocator<int> > const&, std::__1::vector<int, std::__1::allocator<int> > const&, X_node_struct const*) in libsat-solver.a(word-tag.o)
      ...
  "std::__1::ios_base::__set_badbit_and_consider_rethrow()", referenced from:
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "std::__1::ios_base::clear(unsigned int)", referenced from:
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "std::terminate()", referenced from:
      ___clang_call_terminate in libsat-solver.a(sat-encoder.o)
      ___clang_call_terminate in libsat-solver.a(word-tag.o)
  "vtable for __cxxabiv1::__class_type_info", referenced from:
      typeinfo for std::__1::__basic_string_common<true> in libsat-solver.a(sat-encoder.o)
      typeinfo for SATEncoder in libsat-solver.a(sat-encoder.o)
      typeinfo for Matrix<int> in libsat-solver.a(sat-encoder.o)
      typeinfo for Matrix<std::__1::map<std::__1::pair<int, int>, int, std::__1::less<std::__1::pair<int, int> >, std::__1::allocator<std::__1::pair<std::__1::pair<int, int> const, int> > > > in libsat-solver.a(sat-encoder.o)
      typeinfo for Matrix<std::__1::map<int, int, std::__1::less<int>, std::__1::allocator<std::__1::pair<int const, int> > > > in libsat-solver.a(sat-encoder.o)
      typeinfo for Guiding in libsat-solver.a(sat-encoder.o)
      typeinfo for std::__1::__basic_string_common<true> in libsat-solver.a(word-tag.o)
      ...
  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
  "vtable for __cxxabiv1::__si_class_type_info", referenced from:
      typeinfo for MatrixUpperTriangle<int> in libsat-solver.a(sat-encoder.o)
      typeinfo for CostDistanceGuiding in libsat-solver.a(sat-encoder.o)
      typeinfo for MatrixUpperTriangle<std::__1::map<std::__1::pair<int, int>, int, std::__1::less<std::__1::pair<int, int> >, std::__1::allocator<std::__1::pair<std::__1::pair<int, int> const, int> > > > in libsat-solver.a(sat-encoder.o)
      typeinfo for SATEncoderConjunctionFreeSentences in libsat-solver.a(sat-encoder.o)
  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
  "vtable for __cxxabiv1::__vmi_class_type_info", referenced from:
      typeinfo for std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > in libsat-solver.a(sat-encoder.o)
      typeinfo for std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > in libsat-solver.a(word-tag.o)
  NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
  "operator delete(void*)", referenced from:
      SATEncoder::build_word_tags() in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_conjunct_order_constraints(int, Exp_struct*, Exp_struct*, int&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::connectivity_components(std::__1::vector<int, std::__1::allocator<int> >&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_disconnectivity_prohibiting(std::__1::vector<int, std::__1::allocator<int> >) in libsat-solver.a(sat-encoder.o)
      SATEncoder::get_next_linkage() in libsat-solver.a(sat-encoder.o)
      SATEncoderConjunctionFreeSentences::generate_satisfaction_for_connector(int, int, Exp_struct*, char*) in libsat-solver.a(sat-encoder.o)
      _sat_parse in libsat-solver.a(sat-encoder.o)
      ...
  "operator new(unsigned long)", referenced from:
      _sat_parse in libsat-solver.a(sat-encoder.o)
      std::__1::vector<int, std::__1::allocator<int> >::__append(unsigned long) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >::__push_back_slow_path<PositionConnector* const>(PositionConnector* const&) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<std::__1::pair<PositionConnector const*, PositionConnector const*>, std::__1::allocator<std::__1::pair<PositionConnector const*, PositionConnector const*> > >::__push_back_slow_path<std::__1::pair<PositionConnector const*, PositionConnector const*> const>(std::__1::pair<PositionConnector const*, PositionConnector const*> const&) in libsat-solver.a(sat-encoder.o)
      void std::__1::vector<WordTag, std::__1::allocator<WordTag> >::__push_back_slow_path<WordTag const>(WordTag const&) in libsat-solver.a(sat-encoder.o)
      WordTag::WordTag(WordTag const&) in libsat-solver.a(sat-encoder.o)
      std::__1::vector<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> >, std::__1::allocator<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> > > >::vector(std::__1::vector<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> >, std::__1::allocator<std::__1::set<int, std::__1::less<int>, std::__1::allocator<int> > > > const&) in libsat-solver.a(sat-encoder.o)
      ...
  "___cxa_allocate_exception", referenced from:
      SATEncoder::empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      SATEncoder::non_empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "___cxa_begin_catch", referenced from:
      ___clang_call_terminate in libsat-solver.a(sat-encoder.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      ___clang_call_terminate in libsat-solver.a(word-tag.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "___cxa_end_catch", referenced from:
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(sat-encoder.o)
      Variables::get_var_from_trie(char const*, int&) in libsat-solver.a(word-tag.o)
      std::__1::basic_ostream<char, std::__1::char_traits<char> >& std::__1::__put_character_sequence<char, std::__1::char_traits<char> >(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, char const*, unsigned long) in libsat-solver.a(word-tag.o)
  "___cxa_free_exception", referenced from:
      SATEncoder::empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      SATEncoder::non_empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "___cxa_pure_virtual", referenced from:
      vtable for SATEncoder in libsat-solver.a(sat-encoder.o)
      vtable for Guiding in libsat-solver.a(sat-encoder.o)
  "___cxa_throw", referenced from:
      SATEncoder::empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      SATEncoder::non_empty_connectors(Exp_struct*, char) in libsat-solver.a(sat-encoder.o)
      WordTag::insert_connectors(Exp_struct*, int&, bool&, bool&, std::__1::vector<int, std::__1::allocator<int> >&, std::__1::vector<int, std::__1::allocator<int> >&, char*, bool, double, Exp_struct*, X_node_struct const*) in libsat-solver.a(word-tag.o)
      WordTag::find_matches(int, char const*, char, std::__1::vector<PositionConnector*, std::__1::allocator<PositionConnector*> >&) in libsat-solver.a(word-tag.o)
  "___gxx_personality_v0", referenced from:
      SATEncoder::generate_literal(Lit) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_and_definition(Lit, vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_classical_and_definition(Lit, vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_or_definition(Lit, vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_conditional_lr_implication_or_definition(Lit, Lit, vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_conditional_lr_implication_or_definition(Lit, Lit, Lit, vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      SATEncoder::generate_xor_conditions(vec<Lit>&) in libsat-solver.a(sat-encoder.o)
      ...
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [liblink-grammar.la] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all-recursive] Error 1