sat_solver.o(.text+0x45): En la función `verify_solution(void*)':
: undefined reference to `operator new[](unsigned int)'
sat_solver.o(.text+0x9e): En la función `verify_solution(void*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0xa3): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xab): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0xd2): En la función `verify_solution(void*)':
: undefined reference to `operator delete[](void*)'
sat_solver.o(.text+0x101): En la función `verify_solution(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x106): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x12a): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x137): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x155): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x16d): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x172): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1a2): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x1af): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1bb): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x1c0): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1f0): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x1fd): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x21f): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x224): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x22d): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x236): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x242): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x247): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x277): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x284): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x2a6): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x2ab): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x2b4): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x2bd): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x2df): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x2e4): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x2ed): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x2f6): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x302): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x307): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x31b): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
sat_solver.o(.text+0x328): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x334): En la función `output_status(void*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x339): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x34d): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
sat_solver.o(.text+0x36a): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x37a): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x38a): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x3d7): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x3dc): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x3e4): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x3f4): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x3f9): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x42a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x432): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x43e): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x443): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x474): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x47c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x488): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x48d): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x4be): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x4c6): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x4d2): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x4d7): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x508): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x514): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x519): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x54a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x557): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x588): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x590): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x59c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x5a1): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x5d2): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x5da): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x5e6): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x5eb): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x61c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x624): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x630): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x635): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x666): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x66e): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x67a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x67f): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x6bd): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x6c5): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x6d1): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x6d6): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x707): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x70f): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x71b): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x720): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x75e): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x766): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x772): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x777): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x7a8): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x7b0): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x7bc): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x7c1): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x7e9): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x7f1): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x7fd): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x802): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x818): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x820): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x82c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x831): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x847): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long long)'
sat_solver.o(.text+0x84f): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x85b): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x860): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x875): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
sat_solver.o(.text+0x87d): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x88f): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x894): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x89d): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x8cb): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x8da): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x8ea): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x8fa): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x90a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x91a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x92a): more undefined references to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)' follow
sat_solver.o(.text+0x9ad): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0x9b2): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x9ba): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x9fa): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa03): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa1b): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa20): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0xa2c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa32): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xa55): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa5a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xa91): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xa96): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xab8): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0xac5): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xade): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xaec): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xaf1): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0xb0a): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cout'
sat_solver.o(.text+0xb19): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0xb28): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0xb37): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0xb3c): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xb44): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0xbe3): En la función `read_cnf(void*, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0xbe8): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xbf0): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0xc0b): En la función `read_cnf(void*, char*)':
: undefined reference to `std::ios_base::ios_base()'
sat_solver.o(.text+0xc11): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xc26): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xc80): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xc8a): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xc92): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_filebuf<char, std::char_traits<char> >::basic_filebuf()'
sat_solver.o(.text+0xca7): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ios<char, std::char_traits<char> >::init(std::basic_streambuf<char, std::char_traits<char> >*)'
sat_solver.o(.text+0xcb9): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_filebuf<char, std::char_traits<char> >::open(char const*, std::_Ios_Openmode)'
sat_solver.o(.text+0xceb): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ios<char, std::char_traits<char> >::widen(char) const'
sat_solver.o(.text+0xd0a): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_istream<char, std::char_traits<char> >::getline(char*, int, char)'
sat_solver.o(.text+0xdfe): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_filebuf<char, std::char_traits<char> >'
sat_solver.o(.text+0xe03): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_filebuf<char, std::char_traits<char> >::close()'
sat_solver.o(.text+0xe0b): En la función `read_cnf(void*, char*)':
: undefined reference to `std::__basic_file<char>::~__basic_file()'
sat_solver.o(.text+0xe14): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_streambuf<char, std::char_traits<char> >'
sat_solver.o(.text+0xe20): En la función `read_cnf(void*, char*)':
: undefined reference to `std::locale::~locale()'
sat_solver.o(.text+0xe29): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xe46): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xe62): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ios<char, std::char_traits<char> >'
sat_solver.o(.text+0xe67): En la función `read_cnf(void*, char*)':
: undefined reference to `std::ios_base::~ios_base()'
sat_solver.o(.text+0xea9): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xeb3): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0xebd): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_filebuf<char, std::char_traits<char> >'
sat_solver.o(.text+0xec2): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_filebuf<char, std::char_traits<char> >::close()'
sat_solver.o(.text+0xed0): En la función `read_cnf(void*, char*)':
: undefined reference to `std::__basic_file<char>::~__basic_file()'
sat_solver.o(.text+0xee9): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_streambuf<char, std::char_traits<char> >'
sat_solver.o(.text+0xf11): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ios<char, std::char_traits<char> >::clear(std::_Ios_Iostate)'
sat_solver.o(.text+0xf26): En la función `read_cnf(void*, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0xf2b): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0xf33): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x112e): En la función `read_cnf(void*, char*)':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base const*)'
sat_solver.o(.text+0x114c): En la función `read_cnf(void*, char*)':
: undefined reference to `operator delete(void*)'
sat_solver.o(.text+0x119f): En la función `read_cnf(void*, char*)':
: undefined reference to `operator delete(void*)'
sat_solver.o(.text+0x1252): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0x125c): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0x1266): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_filebuf<char, std::char_traits<char> >'
sat_solver.o(.text+0x126e): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_filebuf<char, std::char_traits<char> >::close()'
sat_solver.o(.text+0x1276): En la función `read_cnf(void*, char*)':
: undefined reference to `std::__basic_file<char>::~__basic_file()'
sat_solver.o(.text+0x1289): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_streambuf<char, std::char_traits<char> >'
sat_solver.o(.text+0x1291): En la función `read_cnf(void*, char*)':
: undefined reference to `std::locale::~locale()'
sat_solver.o(.text+0x1297): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0x12ac): En la función `read_cnf(void*, char*)':
: undefined reference to `VTT for std::basic_ifstream<char, std::char_traits<char> >'
sat_solver.o(.text+0x12d0): En la función `read_cnf(void*, char*)':
: undefined reference to `vtable for std::basic_ios<char, std::char_traits<char> >'
sat_solver.o(.text+0x12d5): En la función `read_cnf(void*, char*)':
: undefined reference to `std::ios_base::~ios_base()'
sat_solver.o(.text+0x1315): En la función `read_cnf(void*, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x131a): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1341): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x134e): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1356): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x1371): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x1388): En la función `read_cnf(void*, char*)':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x138d): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1396): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x13c1): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
sat_solver.o(.text+0x13c9): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x1431): En la función `read_cnf(void*, char*)':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base const*)'
sat_solver.o(.text+0x1471): En la función `read_cnf(void*, char*)':
: undefined reference to `operator delete(void*)'
sat_solver.o(.text+0x1496): En la función `read_cnf(void*, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
sat_solver.o(.text+0x14da): En la función `main':
: undefined reference to `std::cout'
sat_solver.o(.text+0x14df): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x14e8): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x14f0): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x150a): En la función `main':
: undefined reference to `std::cout'
sat_solver.o(.text+0x150f): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1518): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1521): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1529): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x15c3): En la función `main':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x15c8): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x15d0): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x15dc): En la función `main':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x15e1): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x15e9): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x15f1): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x160a): En la función `main':
: undefined reference to `std::cerr'
sat_solver.o(.text+0x160f): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1618): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1621): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
sat_solver.o(.text+0x1629): En la función `main':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x1658): En la función `global constructors keyed to _Z8read_cnfPvPc':
: undefined reference to `std::ios_base::Init::Init()'
sat_solver.o(.text+0x149): En la función `verify_solution(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x35e): En la función `output_status(void*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x8af): En la función `handle_result(void*, int, char*)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
sat_solver.o(.text+0x1648): En la función `__tcf_0':
: undefined reference to `std::ios_base::Init::~Init()'
sat_solver.o(.gnu.linkonce.t._ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE+0x27): En la función `std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>, std::allocator<int> >::_M_erase(std::_Rb_tree_node<int>*)':
: undefined reference to `operator delete(void*)'
sat_solver.o(.gnu.linkonce.t._ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKi+0x15): En la función `std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>, std::allocator<int> >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, int const&)':
: undefined reference to `operator new(unsigned int)'
sat_solver.o(.gnu.linkonce.t._ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKi+0x3e): En la función `std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>, std::allocator<int> >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, int const&)':
: undefined reference to `std::_Rb_tree_insert_and_rebalance(bool, std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
sat_solver.o(.gnu.linkonce.t._ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE13insert_uniqueERKi+0x83): En la función `std::_Rb_tree<int, int, std::_Identity<int>, std::less<int>, std::allocator<int> >::insert_unique(int const&)':
: undefined reference to `std::_Rb_tree_decrement(std::_Rb_tree_node_base*)'
sat_solver.o(.gnu.linkonce.t._ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi+0x6d): En la función `std::vector<int, std::allocator<int> >::_M_insert_aux(__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, int const&)':
: undefined reference to `operator new(unsigned int)'
sat_solver.o(.gnu.linkonce.t._ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi+0xd6): En la función `std::vector<int, std::allocator<int> >::_M_insert_aux(__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, int const&)':
: undefined reference to `operator delete(void*)'
sat_solver.o(.eh_frame+0x12): undefined reference to `__gxx_personality_v0'
libsat.a(zchaff_cpp_wrapper.o)(.text+0xe): En la función `SAT_InitManager()':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x2f): En la función `SAT_InitManager()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x5e5): En la función `SAT_GenClsNot(void*, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x60e): En la función `SAT_GenClsNot(void*, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x7e8): En la función `SAT_GenClsNorN(void*, int*, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x80e): En la función `SAT_GenClsNorN(void*, int*, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0xa05): more undefined references to `operator delete(void*)' follow
libsat.a(zchaff_cpp_wrapper.o)(.text+0x184c): En la función `global constructors keyed to _Z15SAT_InitManagerv':
: undefined reference to `std::ios_base::Init::Init()'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x74): En la función `SAT_ReleaseManager(void*)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.text+0x183c): En la función `__tcf_0':
: undefined reference to `std::ios_base::Init::~Init()'
libsat.a(zchaff_cpp_wrapper.o)(.gnu.linkonce.t._ZN11CClause_Gen4xor2ER7CSolveriiii+0x261): En la función `CClause_Gen::xor2(CSolver&, int, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.gnu.linkonce.t._ZN11CClause_Gen4xor2ER7CSolveriiii+0x28e): En la función `CClause_Gen::xor2(CSolver&, int, int, int, int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.gnu.linkonce.t._ZNSt5dequeI12CImplicationSaIS0_EE17_M_reallocate_mapEjb+0xca): En la función `std::deque<CImplication, std::allocator<CImplication> >::_M_reallocate_map(unsigned int, bool)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_cpp_wrapper.o)(.gnu.linkonce.t._ZNSt5dequeI12CImplicationSaIS0_EE17_M_reallocate_mapEjb+0x106): En la función `std::deque<CImplication, std::allocator<CImplication> >::_M_reallocate_map(unsigned int, bool)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_cpp_wrapper.o)(.gnu.linkonce.t._ZNSt5dequeI12CImplicationSaIS0_EE16_M_push_back_auxERKS0_+0x3c): En la función `std::deque<CImplication, std::allocator<CImplication> >::_M_push_back_aux(CImplication const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_cpp_wrapper.o)(.eh_frame+0x12): undefined reference to `__gxx_personality_v0'
libsat.a(zchaff_utils.o)(.eh_frame+0x11): undefined reference to `__gxx_personality_v0'
libsat.a(zchaff_solver.o)(.text+0x89b): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x8b3): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x8eb): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x901): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x92c): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x93d): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x94b): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x961): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x969): En la función `CSolver::print_cls(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0xb1d): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xb45): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xb6d): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0xb7a): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xb96): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0xba3): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xbdc): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xc16): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0xc2b): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0xc33): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0xc53): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0xc6a): En la función `CSolver::dump_assignment_stack(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0xdda): En la función `CSolver::is_uip_reached(std::set<CVariable*, cmp_var_assgn_pos, std::allocator<CVariable*> >&)':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base const*)'
libsat.a(zchaff_solver.o)(.text+0x1056): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x10ac): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x10b5): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x10e3): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x10f0): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x111c): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x1129): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x1155): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x1162): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x13d8): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x13e7): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x13f6): En la función `CSolver::dump_implication_queue(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x145e): En la función `CSolver::~CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x146a): En la función `CSolver::~CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x14b6): En la función `CSolver::~CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x14d2): En la función `CSolver::~CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x14ee): En la función `CSolver::~CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x1526): more undefined references to `operator delete(void*)' follow
libsat.a(zchaff_solver.o)(.text+0x1f8c): En la función `CSolver::resolve_one_lit(std::set<CVariable*, cmp_var_assgn_pos, std::allocator<CVariable*> >&)':
: undefined reference to `std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
libsat.a(zchaff_solver.o)(.text+0x1f94): En la función `CSolver::resolve_one_lit(std::set<CVariable*, cmp_var_assgn_pos, std::allocator<CVariable*> >&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x232d): En la función `CSolver::restart()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x2332): En la función `CSolver::restart()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x233a): En la función `CSolver::restart()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x27a0): En la función `CSolver::clean_up_dbase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x2808): En la función `CSolver::clean_up_dbase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x2896): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x289b): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x28c2): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x28cf): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x28d7): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x28fd): En la función `CSolver::clean_up_dbase()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x2ee6): En la función `CSolver::add_variable()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x2f7e): En la función `CSolver::add_variable()':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.text+0x2ffe): En la función `CSolver::add_variable()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x314a): En la función `CSolver::set_variable_number(int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x31d8): En la función `CSolver::set_variable_number(int)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.text+0x325a): En la función `CSolver::set_variable_number(int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x335a): En la función `CSolver::conflict_analysis_firstUIP_resolve_based()':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base const*)'
libsat.a(zchaff_solver.o)(.text+0x342a): En la función `CSolver::conflict_analysis_firstUIP_resolve_based()':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base const*)'
libsat.a(zchaff_solver.o)(.text+0x3577): En la función `CSolver::conflict_analysis_firstUIP_resolve_based()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x35ae): En la función `CSolver::conflict_analysis_firstUIP_resolve_based()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x3603): En la función `CSolver::conflict_analysis_firstUIP_resolve_based()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x3787): En la función `CSolver::decide_next_branch()':
: undefined reference to `std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
libsat.a(zchaff_solver.o)(.text+0x378f): En la función `CSolver::decide_next_branch()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x41ca): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x41cf): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x41e8): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x41f5): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x421d): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x4243): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x4248): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x4251): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
libsat.a(zchaff_solver.o)(.text+0x425a): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x426a): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
libsat.a(zchaff_solver.o)(.text+0x4272): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::flush<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x432f): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x4334): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x433c): En la función `CSolver::run_periodic_functions()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x4ddf): En la función `CSolver::deduce()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x4ecf): En la función `CSolver::deduce()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x524d): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5252): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x525a): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x526d): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x5280): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x5311): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5316): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x5323): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x532b): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x5355): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x535e): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5379): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x537e): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x538b): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x53a6): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x53ab): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x53c6): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x5444): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x5468): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x546d): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x547a): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x5482): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x5495): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x54a8): En la función `CSolver::preprocess()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x54de): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x54e3): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x54f0): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x54f8): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x5522): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x552b): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5542): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5547): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_solver.o)(.text+0x5554): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_solver.o)(.text+0x557c): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5581): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x558f): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x5594): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_solver.o)(.text+0x559e): En la función `CSolver::preprocess()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x55a3): En la función `CSolver::preprocess()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x6383): En la función `CSolver::CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x6a79): En la función `CSolver::CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x6a95): En la función `CSolver::CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x6ab1): En la función `CSolver::CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x6aea): En la función `CSolver::CSolver()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x6b16): more undefined references to `operator delete(void*)' follow
libsat.a(zchaff_solver.o)(.text+0x8213): En la función `CSolver::finish_add_conf_clause(int)':
: undefined reference to `std::_Rb_tree_decrement(std::_Rb_tree_node_base*)'
libsat.a(zchaff_solver.o)(.text+0x824a): En la función `CSolver::finish_add_conf_clause(int)':
: undefined reference to `std::_Rb_tree_increment(std::_Rb_tree_node_base*)'
libsat.a(zchaff_solver.o)(.text+0x8257): En la función `CSolver::finish_add_conf_clause(int)':
: undefined reference to `std::_Rb_tree_rebalance_for_erase(std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
libsat.a(zchaff_solver.o)(.text+0x825f): En la función `CSolver::finish_add_conf_clause(int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x8aa6): En la función `CSolver::solve()':
: undefined reference to `std::cout'
libsat.a(zchaff_solver.o)(.text+0x8aab): En la función `CSolver::solve()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_solver.o)(.text+0x8d6a): En la función `CSolver::conflict_analysis_allUIP()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x8f94): En la función `CSolver::conflict_analysis_allUIP()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x8fdc): En la función `CSolver::conflict_analysis_allUIP()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x8fef): En la función `CSolver::conflict_analysis_allUIP()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x91d6): En la función `CSolver::conflict_analysis_decisions_only()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.text+0x92b1): more undefined references to `operator delete(void*)' follow
libsat.a(zchaff_solver.o)(.text+0x92e0): En la función `global constructors keyed to _ZN7CSolver13re_init_statsEv':
: undefined reference to `std::ios_base::Init::Init()'
libsat.a(zchaff_solver.o)(.text+0x92d0): En la función `__tcf_0':
: undefined reference to `std::ios_base::Init::~Init()'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt5dequeIiSaIiEE16_M_pop_front_auxEv+0xe): En la función `std::deque<int, std::allocator<int> >::_M_pop_front_aux()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE16_M_destroy_nodesEPPiS3_+0x16): En la función `std::_Deque_base<int, std::allocator<int> >::_M_destroy_nodes(int**, int**)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt5dequeI12CImplicationSaIS0_EE16_M_pop_front_auxEv+0xe): En la función `std::deque<CImplication, std::allocator<CImplication> >::_M_pop_front_aux()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE16_M_destroy_nodesEPPS0_S4_+0x16): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_destroy_nodes(CImplication**, CImplication**)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE15_M_create_nodesEPPS0_S4_+0x1e): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_create_nodes(CImplication**, CImplication**)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE15_M_create_nodesEPPS0_S4_+0x3d): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_create_nodes(CImplication**, CImplication**)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE15_M_create_nodesEPPS0_S4_+0x52): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_create_nodes(CImplication**, CImplication**)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE15_M_create_nodesEPPS0_S4_+0x5b): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_create_nodes(CImplication**, CImplication**)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3_+0x1e): En la función `std::_Deque_base<int, std::allocator<int> >::_M_create_nodes(int**, int**)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3_+0x3d): En la función `std::_Deque_base<int, std::allocator<int> >::_M_create_nodes(int**, int**)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3_+0x52): En la función `std::_Deque_base<int, std::allocator<int> >::_M_create_nodes(int**, int**)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE15_M_create_nodesEPPiS3_+0x5b): En la función `std::_Deque_base<int, std::allocator<int> >::_M_create_nodes(int**, int**)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt23return_temporary_bufferISt4pairIP9CVariableiEEvPT_+0x7): En la función `void std::return_temporary_buffer<std::pair<CVariable*, int> >(std::pair<CVariable*, int>*)':
: undefined reference to `std::nothrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt23return_temporary_bufferISt4pairIP9CVariableiEEvPT_+0xf): En la función `void std::return_temporary_buffer<std::pair<CVariable*, int> >(std::pair<CVariable*, int>*)':
: undefined reference to `operator delete(void*, std::nothrow_t const&)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E+0x27): En la función `std::_Rb_tree<int, std::pair<int const, int>, std::_Select1st<std::pair<int const, int> >, std::less<int>, std::allocator<std::pair<int const, int> > >::_M_erase(std::_Rb_tree_node<std::pair<int const, int> >*)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt22__get_temporary_bufferISt4pairIP9CVariableiEES0_IPT_iEiS5_+0x24): En la función `std::pair<std::pair<CVariable*, int>*, int> std::__get_temporary_buffer<std::pair<CVariable*, int> >(int, std::pair<CVariable*, int>*)':
: undefined reference to `std::nothrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt22__get_temporary_bufferISt4pairIP9CVariableiEES0_IPT_iEiS5_+0x2d): En la función `std::pair<std::pair<CVariable*, int>*, int> std::__get_temporary_buffer<std::pair<CVariable*, int> >(int, std::pair<CVariable*, int>*)':
: undefined reference to `operator new(unsigned int, std::nothrow_t const&)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIP9CVariableS1_St9_IdentityIS1_E17cmp_var_assgn_posSaIS1_EE8_M_eraseEPSt13_Rb_tree_nodeIS1_E+0x27): En la función `std::_Rb_tree<CVariable*, CVariable*, std::_Identity<CVariable*>, cmp_var_assgn_pos, std::allocator<CVariable*> >::_M_erase(std::_Rb_tree_node<CVariable*>*)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj+0x42): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_initialize_map(unsigned int)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj+0xbd): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj+0xc5): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_initialize_map(unsigned int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj+0xda): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EE17_M_initialize_mapEj+0xef): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseI12CImplicationSaIS0_EED2Ev+0x2d): En la función `std::_Deque_base<CImplication, std::allocator<CImplication> >::~_Deque_base()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEED2Ev+0x2d): En la función `std::_Deque_base<int, std::allocator<int> >::~_Deque_base()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj+0x3a): En la función `std::_Deque_base<int, std::allocator<int> >::_M_initialize_map(unsigned int)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj+0xa9): En la función `std::_Deque_base<int, std::allocator<int> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj+0xb1): En la función `std::_Deque_base<int, std::allocator<int> >::_M_initialize_map(unsigned int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj+0xc6): En la función `std::_Deque_base<int, std::allocator<int> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEj+0xdb): En la función `std::_Deque_base<int, std::allocator<int> >::_M_initialize_map(unsigned int)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_+0x15): En la función `std::_Rb_tree<int, std::pair<int const, int>, std::_Select1st<std::pair<int const, int> >, std::less<int>, std::allocator<std::pair<int const, int> > >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<int const, int> const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_+0x44): En la función `std::_Rb_tree<int, std::pair<int const, int>, std::_Select1st<std::pair<int const, int> >, std::less<int>, std::allocator<std::pair<int const, int> > >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::pair<int const, int> const&)':
: undefined reference to `std::_Rb_tree_insert_and_rebalance(bool, std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIP9CVariableS1_St9_IdentityIS1_E17cmp_var_assgn_posSaIS1_EE9_M_insertEPSt18_Rb_tree_node_baseS8_RKS1_+0x18): En la función `std::_Rb_tree<CVariable*, CVariable*, std::_Identity<CVariable*>, cmp_var_assgn_pos, std::allocator<CVariable*> >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, CVariable* const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIP9CVariableS1_St9_IdentityIS1_E17cmp_var_assgn_posSaIS1_EE9_M_insertEPSt18_Rb_tree_node_baseS8_RKS1_+0x44): En la función `std::_Rb_tree<CVariable*, CVariable*, std::_Identity<CVariable*>, cmp_var_assgn_pos, std::allocator<CVariable*> >::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, CVariable* const&)':
: undefined reference to `std::_Rb_tree_insert_and_rebalance(bool, std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, std::_Rb_tree_node_base&)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt8_Rb_treeIP9CVariableS1_St9_IdentityIS1_E17cmp_var_assgn_posSaIS1_EE13insert_uniqueERKS1_+0xa3): En la función `std::_Rb_tree<CVariable*, CVariable*, std::_Identity<CVariable*>, cmp_var_assgn_pos, std::allocator<CVariable*> >::insert_unique(CVariable* const&)':
: undefined reference to `std::_Rb_tree_decrement(std::_Rb_tree_node_base*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorISt4pairIiS0_IPFvPvEiEESaIS5_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS5_S7_EERKS5_+0x105): En la función `std::vector<std::pair<int, std::pair<void (*)(void*), int> >, std::allocator<std::pair<int, std::pair<void (*)(void*), int> > > >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::pair<int, std::pair<void (*)(void*), int> >*, std::vector<std::pair<int, std::pair<void (*)(void*), int> >, std::allocator<std::pair<int, std::pair<void (*)(void*), int> > > > >, std::pair<int, std::pair<void (*)(void*), int> > const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorISt4pairIiS0_IPFvPvEiEESaIS5_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS5_S7_EERKS5_+0x1e9): En la función `std::vector<std::pair<int, std::pair<void (*)(void*), int> >, std::allocator<std::pair<int, std::pair<void (*)(void*), int> > > >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::pair<int, std::pair<void (*)(void*), int> >*, std::vector<std::pair<int, std::pair<void (*)(void*), int> >, std::allocator<std::pair<int, std::pair<void (*)(void*), int> > > > >, std::pair<int, std::pair<void (*)(void*), int> > const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI12CImplicationSaIS0_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS0_S2_EERKS0_+0x105): En la función `std::vector<CImplication, std::allocator<CImplication> >::_M_insert_aux(__gnu_cxx::__normal_iterator<CImplication*, std::vector<CImplication, std::allocator<CImplication> > >, CImplication const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI12CImplicationSaIS0_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS0_S2_EERKS0_+0x1e9): En la función `std::vector<CImplication, std::allocator<CImplication> >::_M_insert_aux(__gnu_cxx::__normal_iterator<CImplication*, std::vector<CImplication, std::allocator<CImplication> > >, CImplication const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EE7reserveEj+0x3d): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::reserve(unsigned int)':
: undefined reference to `std::__throw_length_error(char const*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EE7reserveEj+0x70): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::reserve(unsigned int)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EE7reserveEj+0x92): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::reserve(unsigned int)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_+0x6d): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::_M_insert_aux(__gnu_cxx::__normal_iterator<CLitPoolElement**, std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> > >, CLitPoolElement* const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1_+0xd6): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::_M_insert_aux(__gnu_cxx::__normal_iterator<CLitPoolElement**, std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> > >, CLitPoolElement* const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZN9CVariableC1ERKS_+0xd9): En la función `CVariable::CVariable(CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZN9CVariableC1ERKS_+0x16b): En la función `CVariable::CVariable(CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0xf2): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0x193): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0x1a4): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0x1d1): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0x1e5): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIP9CVariablejS0_ET_S2_T0_RKT1_12__false_type+0x1ec): En la función `CVariable* std::__uninitialized_fill_n_aux<CVariable*, unsigned int, CVariable>(CVariable*, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0xd7): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0x18b): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0x19c): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0x1d1): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0x1e5): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZSt26__uninitialized_fill_n_auxIN9__gnu_cxx17__normal_iteratorIP9CVariableSt6vectorIS2_SaIS2_EEEEjS2_ET_S8_T0_RKT1_12__false_type+0x1ec): En la función `__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > > std::__uninitialized_fill_n_aux<__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable>(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&, __false_type)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EEaSERKS3_+0x97): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::operator=(std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> > const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIP15CLitPoolElementSaIS1_EEaSERKS3_+0xb7): En la función `std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> >::operator=(std::vector<CLitPoolElement*, std::allocator<CLitPoolElement*> > const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE5eraseEN9__gnu_cxx17__normal_iteratorIPS0_S2_EES6_+0x145): En la función `std::vector<CVariable, std::allocator<CVariable> >::erase(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, __gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIPS_IiSaIiEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2_+0x6d): En la función `std::vector<std::vector<int, std::allocator<int> >*, std::allocator<std::vector<int, std::allocator<int> >*> >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::vector<int, std::allocator<int> >**, std::vector<std::vector<int, std::allocator<int> >*, std::allocator<std::vector<int, std::allocator<int> >*> > >, std::vector<int, std::allocator<int> >* const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorIPS_IiSaIiEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2_+0xd6): En la función `std::vector<std::vector<int, std::allocator<int> >*, std::allocator<std::vector<int, std::allocator<int> >*> >::_M_insert_aux(__gnu_cxx::__normal_iterator<std::vector<int, std::allocator<int> >**, std::vector<std::vector<int, std::allocator<int> >*, std::allocator<std::vector<int, std::allocator<int> >*> > >, std::vector<int, std::allocator<int> >* const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorISt4pairIP9CVariableiESaIS3_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS3_S5_EEjRKS3_+0x109): En la función `std::vector<std::pair<CVariable*, int>, std::allocator<std::pair<CVariable*, int> > >::_M_fill_insert(__gnu_cxx::__normal_iterator<std::pair<CVariable*, int>*, std::vector<std::pair<CVariable*, int>, std::allocator<std::pair<CVariable*, int> > > >, unsigned int, std::pair<CVariable*, int> const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorISt4pairIP9CVariableiESaIS3_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS3_S5_EEjRKS3_+0x259): En la función `std::vector<std::pair<CVariable*, int>, std::allocator<std::pair<CVariable*, int> > >::_M_fill_insert(__gnu_cxx::__normal_iterator<std::pair<CVariable*, int>*, std::vector<std::pair<CVariable*, int>, std::allocator<std::pair<CVariable*, int> > > >, unsigned int, std::pair<CVariable*, int> const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x9e): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x19b): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x361): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x43b): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x45c): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x5df): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x7e7): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x832): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x846): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x879): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x890): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x897): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x8a0): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x8d9): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x905): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x90d): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x914): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x95a): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x96e): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x9a1): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x9b2): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x9b9): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_end_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x9dd): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xb36): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xc4d): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xc61): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xc93): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xca4): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xce1): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xcf5): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_begin_catch'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xd27): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt6vectorI9CVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0xd38): En la función `std::vector<CVariable, std::allocator<CVariable> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CVariable*, std::vector<CVariable, std::allocator<CVariable> > >, unsigned int, CVariable const&)':
: undefined reference to `__cxa_rethrow'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt5dequeIiSaIiEE17_M_reallocate_mapEjb+0xca): En la función `std::deque<int, std::allocator<int> >::_M_reallocate_map(unsigned int, bool)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt5dequeIiSaIiEE17_M_reallocate_mapEjb+0x106): En la función `std::deque<int, std::allocator<int> >::_M_reallocate_map(unsigned int, bool)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_solver.o)(.gnu.linkonce.t._ZNSt5dequeIiSaIiEE16_M_push_back_auxERKi+0x2e): En la función `std::deque<int, std::allocator<int> >::_M_push_back_aux(int const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_solver.o)(.eh_frame+0x12): undefined reference to `__gxx_personality_v0'
libsat.a(zchaff_dbase.o)(.text+0x1b7): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x1dd): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x22a): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x237): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x2d8): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x2e6): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char)'
libsat.a(zchaff_dbase.o)(.text+0x2f3): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x33d): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_dbase.o)(.text+0x34a): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x36f): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_dbase.o)(.text+0x384): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_dbase.o)(.text+0x3b8): En la función `CDatabase::detail_dump_cl(int, std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x5cd): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x5d7): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_dbase.o)(.text+0x5e6): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::cout'
libsat.a(zchaff_dbase.o)(.text+0x63c): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x645): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x652): En la función `CDatabase::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x70a): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::cout'
libsat.a(zchaff_dbase.o)(.text+0x712): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x744): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x751): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x783): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x790): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x7ce): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x7db): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x819): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x826): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x838): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_dbase.o)(.text+0x89b): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::cout'
libsat.a(zchaff_dbase.o)(.text+0x8a0): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_dbase.o)(.text+0x8a9): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(double)'
libsat.a(zchaff_dbase.o)(.text+0x8b1): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_dbase.o)(.text+0x8c6): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_dbase.o)(.text+0x8d6): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_dbase.o)(.text+0x8e6): En la función `CDatabase::output_lit_pool_stats()':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_dbase.o)(.text+0xc22): En la función `CDatabase::~CDatabase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.text+0xc59): En la función `CDatabase::~CDatabase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.text+0xc7a): En la función `CDatabase::~CDatabase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.text+0xcaa): En la función `CDatabase::~CDatabase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.text+0xce5): En la función `CDatabase::~CDatabase()':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.text+0xd06): more undefined references to `operator delete(void*)' follow
libsat.a(zchaff_dbase.o)(.text+0x1eac): En la función `global constructors keyed to _ZN9CDatabaseC2Ev':
: undefined reference to `std::ios_base::Init::Init()'
libsat.a(zchaff_dbase.o)(.text+0x1e9c): En la función `__tcf_0':
: undefined reference to `std::ios_base::Init::~Init()'
libsat.a(zchaff_dbase.o)(.gnu.linkonce.t._ZNSt6vectorI7CClauseSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x1ca): En la función `std::vector<CClause, std::allocator<CClause> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CClause*, std::vector<CClause, std::allocator<CClause> > >, unsigned int, CClause const&)':
: undefined reference to `operator new(unsigned int)'
libsat.a(zchaff_dbase.o)(.gnu.linkonce.t._ZNSt6vectorI7CClauseSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEjRKS0_+0x32e): En la función `std::vector<CClause, std::allocator<CClause> >::_M_fill_insert(__gnu_cxx::__normal_iterator<CClause*, std::vector<CClause, std::allocator<CClause> > >, unsigned int, CClause const&)':
: undefined reference to `operator delete(void*)'
libsat.a(zchaff_dbase.o)(.eh_frame+0x12): undefined reference to `__gxx_personality_v0'
libsat.a(zchaff_base.o)(.text+0x48): En la función `CLitPoolElement::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x56): En la función `CLitPoolElement::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0xd1): En la función `CClause::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0xdf): En la función `CClause::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x10b): En la función `CClause::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x121): En la función `CClause::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x182): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x191): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x19e): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x1c7): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x1d4): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x1fd): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x20a): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x233): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x23d): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_base.o)(.text+0x26a): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x273): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x2a9): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x2b6): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x2d7): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x2df): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_base.o)(.text+0x2fb): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_base.o)(.text+0x314): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(unsigned long)'
libsat.a(zchaff_base.o)(.text+0x321): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x335): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0x347): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_base.o)(.text+0x356): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_base.o)(.text+0x365): En la función `CVariable::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >::operator<<(long)'
libsat.a(zchaff_base.o)(.text+0x38c): En la función `global constructors keyed to _ZN15CLitPoolElement4dumpERSo':
: undefined reference to `std::ios_base::Init::Init()'
libsat.a(zchaff_base.o)(.text+0x7d): En la función `CLitPoolElement::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::operator<< <std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&, char const*)'
libsat.a(zchaff_base.o)(.text+0xfc): En la función `CClause::dump(std::basic_ostream<char, std::char_traits<char> >&)':
: undefined reference to `std::basic_ostream<char, std::char_traits<char> >& std::endl<char, std::char_traits<char> >(std::basic_ostream<char, std::char_traits<char> >&)'
libsat.a(zchaff_base.o)(.text+0x37c): En la función `__tcf_0':
: undefined reference to `std::ios_base::Init::~Init()'
libsat.a(zchaff_base.o)(.eh_frame+0x11): undefined reference to `__gxx_personality_v0'
collect2: ld devolvió el estado de salida 1
make: *** [zchaff] Error 1
