Collecting python-sat
  Using cached https://files.pythonhosted.org/packages/dc/f2/185d6173e1f14fa9fef066d8a204936b78f4ff15e90cf8a46207129e8750/python-sat-0.1.4.dev9.tar.gz
Requirement already satisfied: pypblib>=0.0.3 in ./lib/python3.6/site-packages (from python-sat) (0.0.4)
Requirement already satisfied: six in ./lib/python3.6/site-packages (from python-sat) (1.12.0)
Building wheels for collected packages: python-sat
  Building wheel for python-sat (setup.py) ... |^Z
[4]+  Stopped                 pip install python-sat
(checkAAE) insightBridge:checkAAE ftoffano$ bin/pip3 install python-sat
Collecting python-sat
  Using cached https://files.pythonhosted.org/packages/dc/f2/185d6173e1f14fa9fef066d8a204936b78f4ff15e90cf8a46207129e8750/python-sat-0.1.4.dev9.tar.gz
Requirement already satisfied: pypblib>=0.0.3 in ./lib/python3.6/site-packages (from python-sat) (0.0.4)
Requirement already satisfied: six in ./lib/python3.6/site-packages (from python-sat) (1.12.0)
Building wheels for collected packages: python-sat
  Building wheel for python-sat (setup.py) ... error
  ERROR: Complete output from command /Users/ftoffano/anaconda3/envs/checkAAE/bin/python -u -c 'import setuptools, tokenize;__file__='"'"'/private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-install-rasrq7ep/python-sat/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-wheel-6e8hlc1r --python-tag cp36:
  ERROR: running bdist_wheel
  running build
  preparing glucose30
  downloading: solvers/glucose30.tar.gz (50813 bytes)... done
  extracting solvers/glucose30.tar.gz
  adapting glucose30's files
  patching glucose30
  patching file solvers/glucose30/Makefile
  patching file solvers/glucose30/core/BoundedQueue.h
  patching file solvers/glucose30/core/Solver.cc
  patching file solvers/glucose30/core/Solver.h
  patching file solvers/glucose30/core/SolverTypes.h
  patching file solvers/glucose30/mtl/Alg.h
  patching file solvers/glucose30/mtl/Alloc.h
  patching file solvers/glucose30/mtl/Heap.h
  patching file solvers/glucose30/mtl/IntTypes.h
  patching file solvers/glucose30/mtl/Map.h
  patching file solvers/glucose30/mtl/Queue.h
  patching file solvers/glucose30/mtl/Sort.h
  patching file solvers/glucose30/mtl/Vec.h
  patching file solvers/glucose30/mtl/XAlloc.h
  patching file solvers/glucose30/utils/Options.cc
  patching file solvers/glucose30/utils/Options.h
  patching file solvers/glucose30/utils/ParseUtils.h
  patching file solvers/glucose30/utils/System.cc
  patching file solvers/glucose30/utils/System.h
  compiling glucose30
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:30:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing glucose41
  downloading: solvers/glucose41.tar.gz (82779 bytes)... done
  extracting solvers/glucose41.tar.gz
  adapting glucose41's files
  patching glucose41
  patching file solvers/glucose41/Makefile
  patching file solvers/glucose41/core/BoundedQueue.h
  patching file solvers/glucose41/core/Solver.cc
  patching file solvers/glucose41/core/Solver.h
  patching file solvers/glucose41/core/SolverStats.h
  patching file solvers/glucose41/core/SolverTypes.h
  patching file solvers/glucose41/mtl/Alg.h
  patching file solvers/glucose41/mtl/Alloc.h
  patching file solvers/glucose41/mtl/Clone.h
  patching file solvers/glucose41/mtl/Heap.h
  patching file solvers/glucose41/mtl/IntTypes.h
  patching file solvers/glucose41/mtl/Map.h
  patching file solvers/glucose41/mtl/Queue.h
  patching file solvers/glucose41/mtl/Sort.h
  patching file solvers/glucose41/mtl/Vec.h
  patching file solvers/glucose41/mtl/VecThreads.h
  patching file solvers/glucose41/mtl/XAlloc.h
  patching file solvers/glucose41/utils/Options.cc
  patching file solvers/glucose41/utils/Options.h
  patching file solvers/glucose41/utils/ParseUtils.h
  patching file solvers/glucose41/utils/System.cc
  patching file solvers/glucose41/utils/System.h
  compiling glucose41
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:50:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing lingeling
  downloading: solvers/lingeling.tar.gz (501731 bytes)... done
  extracting solvers/lingeling.tar.gz
  adapting lingeling's files
  extracting solvers/lingeling/druplig-009.zip
  extracting solvers/lingeling/lingeling-bbc-9230380-160707.tar.gz
  patching lingeling
  patching file solvers/lingeling/Makefile
  patching file solvers/lingeling/druplig.h
  patching file solvers/lingeling/lglib.c
  patching file solvers/lingeling/lglib.h
  patching file solvers/lingeling/lglopts.h
  compiling lingeling
  cc -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I. -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -DVERSION=\"PYSAT\" -c lglib.c -o lglib.o
  In file included from lglib.c:5:0:
  lglib.h:8:36: fatal error: stdio.h: No such file or directory
   #include <stdio.h>    // for 'FILE'
                                      ^
  compilation terminated.
  make: *** [lglib.o] Error 1
  preparing maplechrono
  downloading: solvers/maplechrono.zip (82656 bytes)... done
  extracting solvers/maplechrono.zip
  adapting maplechrono's files
  patching maplechrono
  patching file solvers/maplechrono/Makefile
  patching file solvers/maplechrono/core/Solver.cc
  patching file solvers/maplechrono/core/Solver.h
  patching file solvers/maplechrono/core/SolverTypes.h
  patching file solvers/maplechrono/mtl/Alg.h
  patching file solvers/maplechrono/mtl/Alloc.h
  patching file solvers/maplechrono/mtl/Heap.h
  patching file solvers/maplechrono/mtl/IntTypes.h
  patching file solvers/maplechrono/mtl/Map.h
  patching file solvers/maplechrono/mtl/Queue.h
  patching file solvers/maplechrono/mtl/Sort.h
  patching file solvers/maplechrono/mtl/Vec.h
  patching file solvers/maplechrono/mtl/XAlloc.h
  patching file solvers/maplechrono/utils/Options.cc
  patching file solvers/maplechrono/utils/Options.h
  patching file solvers/maplechrono/utils/ParseUtils.h
  patching file solvers/maplechrono/utils/System.cc
  patching file solvers/maplechrono/utils/System.h
  compiling maplechrono
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:28:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing maplecm
  downloading: solvers/maplecm.zip (94949 bytes)... done
  extracting solvers/maplecm.zip
  adapting maplecm's files
  patching maplecm
  patching file solvers/maplecm/Makefile
  patching file solvers/maplecm/core/Solver.cc
  patching file solvers/maplecm/core/Solver.h
  patching file solvers/maplecm/core/SolverTypes.h
  patching file solvers/maplecm/mtl/Alg.h
  patching file solvers/maplecm/mtl/Alloc.h
  patching file solvers/maplecm/mtl/Heap.h
  patching file solvers/maplecm/mtl/IntTypes.h
  patching file solvers/maplecm/mtl/Map.h
  patching file solvers/maplecm/mtl/Queue.h
  patching file solvers/maplecm/mtl/Sort.h
  patching file solvers/maplecm/mtl/Vec.h
  patching file solvers/maplecm/mtl/XAlloc.h
  patching file solvers/maplecm/utils/Options.cc
  patching file solvers/maplecm/utils/Options.h
  patching file solvers/maplecm/utils/ParseUtils.h
  patching file solvers/maplecm/utils/System.cc
  patching file solvers/maplecm/utils/System.h
  compiling maplecm
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:34:20: fatal error: unistd.h: No such file or directory
   #include <unistd.h>
                      ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing maplesat
  downloading: solvers/maplesat.zip (77088 bytes)... done
  extracting solvers/maplesat.zip
  adapting maplesat's files
  patching maplesat
  patching file solvers/maplesat/Makefile
  patching file solvers/maplesat/core/Solver.cc
  patching file solvers/maplesat/core/Solver.h
  patching file solvers/maplesat/core/SolverTypes.h
  patching file solvers/maplesat/mtl/Alg.h
  patching file solvers/maplesat/mtl/Alloc.h
  patching file solvers/maplesat/mtl/Heap.h
  patching file solvers/maplesat/mtl/IntTypes.h
  patching file solvers/maplesat/mtl/Map.h
  patching file solvers/maplesat/mtl/Queue.h
  patching file solvers/maplesat/mtl/Sort.h
  patching file solvers/maplesat/mtl/Vec.h
  patching file solvers/maplesat/mtl/XAlloc.h
  patching file solvers/maplesat/utils/Options.cc
  patching file solvers/maplesat/utils/Options.h
  patching file solvers/maplesat/utils/ParseUtils.h
  patching file solvers/maplesat/utils/System.cc
  patching file solvers/maplesat/utils/System.h
  compiling maplesat
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:23:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing minicard
  downloading: solvers/minicard.tar.gz (1529188 bytes)... done
  extracting solvers/minicard.tar.gz
  adapting minicard's files
  patching minicard
  patching file solvers/minicard/Makefile
  patching file solvers/minicard/core/Solver.cc
  patching file solvers/minicard/core/Solver.h
  patching file solvers/minicard/core/SolverTypes.h
  patching file solvers/minicard/mtl/Alg.h
  patching file solvers/minicard/mtl/Alloc.h
  patching file solvers/minicard/mtl/Heap.h
  patching file solvers/minicard/mtl/IntTypes.h
  patching file solvers/minicard/mtl/Map.h
  patching file solvers/minicard/mtl/Queue.h
  patching file solvers/minicard/mtl/Sort.h
  patching file solvers/minicard/mtl/Vec.h
  patching file solvers/minicard/mtl/XAlloc.h
  patching file solvers/minicard/utils/Options.cc
  patching file solvers/minicard/utils/Options.h
  patching file solvers/minicard/utils/ParseUtils.h
  patching file solvers/minicard/utils/System.cc
  patching file solvers/minicard/utils/System.h
  compiling minicard
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:28:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing minisat22
  downloading: solvers/minisat22.tar.gz (43879 bytes)... done
  extracting solvers/minisat22.tar.gz
  adapting minisat22's files
  patching minisat22
  patching file solvers/minisat22/Makefile
  patching file solvers/minisat22/core/Solver.cc
  patching file solvers/minisat22/core/Solver.h
  patching file solvers/minisat22/core/SolverTypes.h
  patching file solvers/minisat22/mtl/Alg.h
  patching file solvers/minisat22/mtl/Alloc.h
  patching file solvers/minisat22/mtl/Heap.h
  patching file solvers/minisat22/mtl/IntTypes.h
  patching file solvers/minisat22/mtl/Map.h
  patching file solvers/minisat22/mtl/Queue.h
  patching file solvers/minisat22/mtl/Sort.h
  patching file solvers/minisat22/mtl/Vec.h
  patching file solvers/minisat22/mtl/XAlloc.h
  patching file solvers/minisat22/utils/Options.cc
  patching file solvers/minisat22/utils/Options.h
  patching file solvers/minisat22/utils/ParseUtils.h
  patching file solvers/minisat22/utils/System.cc
  patching file solvers/minisat22/utils/System.h
  compiling minisat22
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:21:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  preparing minisatgh
  downloading: solvers/minisatgh.zip (75209 bytes)... done
  extracting solvers/minisatgh.zip
  adapting minisatgh's files
  patching minisatgh
  patching file solvers/minisatgh/Makefile
  patching file solvers/minisatgh/core/Solver.cc
  patching file solvers/minisatgh/core/Solver.h
  patching file solvers/minisatgh/core/SolverTypes.h
  patching file solvers/minisatgh/mtl/Alg.h
  patching file solvers/minisatgh/mtl/Alloc.h
  patching file solvers/minisatgh/mtl/Heap.h
  patching file solvers/minisatgh/mtl/IntMap.h
  patching file solvers/minisatgh/mtl/IntTypes.h
  patching file solvers/minisatgh/mtl/Map.h
  patching file solvers/minisatgh/mtl/Queue.h
  patching file solvers/minisatgh/mtl/Rnd.h
  patching file solvers/minisatgh/mtl/Sort.h
  patching file solvers/minisatgh/mtl/Vec.h
  patching file solvers/minisatgh/mtl/XAlloc.h
  patching file solvers/minisatgh/utils/Options.cc
  patching file solvers/minisatgh/utils/Options.h
  patching file solvers/minisatgh/utils/ParseUtils.h
  patching file solvers/minisatgh/utils/System.cc
  patching file solvers/minisatgh/utils/System.h
  compiling minisatgh
  c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
  core/Solver.cc:21:18: fatal error: math.h: No such file or directory
   #include <math.h>
                    ^
  compilation terminated.
  make: *** [core/Solver.o] Error 1
  running build_py
  creating build
  creating build/lib.macosx-10.7-x86_64-3.6
  creating build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/pb.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/_fileio.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/formula.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/__init__.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/solvers.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  copying pysat/card.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
  creating build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/lbx.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/musx.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/hitman.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/rc2.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/__init__.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/fm.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/mcsls.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/lsu.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/genhard.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/sudoku.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/hornify.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  copying examples/usage.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
  running build_ext
  building 'pycard' extension
  creating build/temp.macosx-10.7-x86_64-3.6
  creating build/temp.macosx-10.7-x86_64-3.6/cardenc
  /usr/bin/clang -Wno-unused-result -Wsign-compare -Wunreachable-code -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -Icardenc -I/Users/ftoffano/anaconda3/envs/checkAAE/include/python3.6m -c cardenc/pycard.cc -o build/temp.macosx-10.7-x86_64-3.6/cardenc/pycard.o -std=c++11 -Wall -Wno-deprecated --stdlib=libc++
  g++ -bundle -undefined dynamic_lookup -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -arch x86_64 build/temp.macosx-10.7-x86_64-3.6/cardenc/pycard.o -lc++ -o build/lib.macosx-10.7-x86_64-3.6/pycard.cpython-36m-darwin.so
  building 'pysolvers' extension
  creating build/temp.macosx-10.7-x86_64-3.6/solvers
  /usr/bin/clang -Wno-unused-result -Wsign-compare -Wunreachable-code -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -Isolvers -I/Users/ftoffano/anaconda3/envs/checkAAE/include/python3.6m -c solvers/pysolvers.cc -o build/temp.macosx-10.7-x86_64-3.6/solvers/pysolvers.o -std=c++11 -Wall -Wno-deprecated --stdlib=libc++ -DWITH_GLUCOSE30 -DWITH_GLUCOSE41 -DWITH_LINGELING -DWITH_MAPLECHRONO -DWITH_MAPLECM -DWITH_MAPLESAT -DWITH_MINICARD -DWITH_MINISAT22 -DWITH_MINISATGH
  g++ -bundle -undefined dynamic_lookup -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -arch x86_64 build/temp.macosx-10.7-x86_64-3.6/solvers/pysolvers.o -Lsolvers/glucose30 -Lsolvers/glucose41 -Lsolvers/lingeling -Lsolvers/maplechrono -Lsolvers/maplecm -Lsolvers/maplesat -Lsolvers/minicard -Lsolvers/minisat22 -Lsolvers/minisatgh -lglucose30 -lglucose41 -llingeling -lmaplechrono -lmaplecm -lmaplesat -lminicard -lminisat22 -lminisatgh -lc++ -o build/lib.macosx-10.7-x86_64-3.6/pysolvers.cpython-36m-darwin.so
  ld: library not found for -lglucose30
  collect2: error: ld returned 1 exit status
  error: command 'g++' failed with exit status 1
  ----------------------------------------
  ERROR: Failed building wheel for python-sat
  Running setup.py clean for python-sat
Failed to build python-sat
Installing collected packages: python-sat
  Running setup.py install for python-sat ... error
    ERROR: Complete output from command /Users/ftoffano/anaconda3/envs/checkAAE/bin/python -u -c 'import setuptools, tokenize;__file__='"'"'/private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-install-rasrq7ep/python-sat/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record /private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-record-1vq9z_76/install-record.txt --single-version-externally-managed --compile:
    ERROR: running install
    running build
    preparing glucose30
    not downloading solvers/glucose30.tar.gz since it exists locally
    extracting solvers/glucose30.tar.gz
    adapting glucose30's files
    patching glucose30
    patching file solvers/glucose30/Makefile
    patching file solvers/glucose30/core/BoundedQueue.h
    patching file solvers/glucose30/core/Solver.cc
    patching file solvers/glucose30/core/Solver.h
    patching file solvers/glucose30/core/SolverTypes.h
    patching file solvers/glucose30/mtl/Alg.h
    patching file solvers/glucose30/mtl/Alloc.h
    patching file solvers/glucose30/mtl/Heap.h
    patching file solvers/glucose30/mtl/IntTypes.h
    patching file solvers/glucose30/mtl/Map.h
    patching file solvers/glucose30/mtl/Queue.h
    patching file solvers/glucose30/mtl/Sort.h
    patching file solvers/glucose30/mtl/Vec.h
    patching file solvers/glucose30/mtl/XAlloc.h
    patching file solvers/glucose30/utils/Options.cc
    patching file solvers/glucose30/utils/Options.h
    patching file solvers/glucose30/utils/ParseUtils.h
    patching file solvers/glucose30/utils/System.cc
    patching file solvers/glucose30/utils/System.h
    compiling glucose30
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:30:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing glucose41
    not downloading solvers/glucose41.tar.gz since it exists locally
    extracting solvers/glucose41.tar.gz
    adapting glucose41's files
    patching glucose41
    patching file solvers/glucose41/Makefile
    patching file solvers/glucose41/core/BoundedQueue.h
    patching file solvers/glucose41/core/Solver.cc
    patching file solvers/glucose41/core/Solver.h
    patching file solvers/glucose41/core/SolverStats.h
    patching file solvers/glucose41/core/SolverTypes.h
    patching file solvers/glucose41/mtl/Alg.h
    patching file solvers/glucose41/mtl/Alloc.h
    patching file solvers/glucose41/mtl/Clone.h
    patching file solvers/glucose41/mtl/Heap.h
    patching file solvers/glucose41/mtl/IntTypes.h
    patching file solvers/glucose41/mtl/Map.h
    patching file solvers/glucose41/mtl/Queue.h
    patching file solvers/glucose41/mtl/Sort.h
    patching file solvers/glucose41/mtl/Vec.h
    patching file solvers/glucose41/mtl/VecThreads.h
    patching file solvers/glucose41/mtl/XAlloc.h
    patching file solvers/glucose41/utils/Options.cc
    patching file solvers/glucose41/utils/Options.h
    patching file solvers/glucose41/utils/ParseUtils.h
    patching file solvers/glucose41/utils/System.cc
    patching file solvers/glucose41/utils/System.h
    compiling glucose41
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -DINCREMENTAL -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:50:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing lingeling
    not downloading solvers/lingeling.tar.gz since it exists locally
    extracting solvers/lingeling.tar.gz
    adapting lingeling's files
    extracting solvers/lingeling/druplig-009.zip
    extracting solvers/lingeling/lingeling-bbc-9230380-160707.tar.gz
    patching lingeling
    patching file solvers/lingeling/Makefile
    patching file solvers/lingeling/druplig.h
    patching file solvers/lingeling/lglib.c
    patching file solvers/lingeling/lglib.h
    patching file solvers/lingeling/lglopts.h
    compiling lingeling
    cc -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I. -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -DVERSION=\"PYSAT\" -c lglib.c -o lglib.o
    In file included from lglib.c:5:0:
    lglib.h:8:36: fatal error: stdio.h: No such file or directory
     #include <stdio.h>    // for 'FILE'
                                        ^
    compilation terminated.
    make: *** [lglib.o] Error 1
    preparing maplechrono
    not downloading solvers/maplechrono.zip since it exists locally
    extracting solvers/maplechrono.zip
    adapting maplechrono's files
    patching maplechrono
    patching file solvers/maplechrono/Makefile
    patching file solvers/maplechrono/core/Solver.cc
    patching file solvers/maplechrono/core/Solver.h
    patching file solvers/maplechrono/core/SolverTypes.h
    patching file solvers/maplechrono/mtl/Alg.h
    patching file solvers/maplechrono/mtl/Alloc.h
    patching file solvers/maplechrono/mtl/Heap.h
    patching file solvers/maplechrono/mtl/IntTypes.h
    patching file solvers/maplechrono/mtl/Map.h
    patching file solvers/maplechrono/mtl/Queue.h
    patching file solvers/maplechrono/mtl/Sort.h
    patching file solvers/maplechrono/mtl/Vec.h
    patching file solvers/maplechrono/mtl/XAlloc.h
    patching file solvers/maplechrono/utils/Options.cc
    patching file solvers/maplechrono/utils/Options.h
    patching file solvers/maplechrono/utils/ParseUtils.h
    patching file solvers/maplechrono/utils/System.cc
    patching file solvers/maplechrono/utils/System.h
    compiling maplechrono
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:28:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing maplecm
    not downloading solvers/maplecm.zip since it exists locally
    extracting solvers/maplecm.zip
    adapting maplecm's files
    patching maplecm
    patching file solvers/maplecm/Makefile
    patching file solvers/maplecm/core/Solver.cc
    patching file solvers/maplecm/core/Solver.h
    patching file solvers/maplecm/core/SolverTypes.h
    patching file solvers/maplecm/mtl/Alg.h
    patching file solvers/maplecm/mtl/Alloc.h
    patching file solvers/maplecm/mtl/Heap.h
    patching file solvers/maplecm/mtl/IntTypes.h
    patching file solvers/maplecm/mtl/Map.h
    patching file solvers/maplecm/mtl/Queue.h
    patching file solvers/maplecm/mtl/Sort.h
    patching file solvers/maplecm/mtl/Vec.h
    patching file solvers/maplecm/mtl/XAlloc.h
    patching file solvers/maplecm/utils/Options.cc
    patching file solvers/maplecm/utils/Options.h
    patching file solvers/maplecm/utils/ParseUtils.h
    patching file solvers/maplecm/utils/System.cc
    patching file solvers/maplecm/utils/System.h
    compiling maplecm
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:34:20: fatal error: unistd.h: No such file or directory
     #include <unistd.h>
                        ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing maplesat
    not downloading solvers/maplesat.zip since it exists locally
    extracting solvers/maplesat.zip
    adapting maplesat's files
    patching maplesat
    patching file solvers/maplesat/Makefile
    patching file solvers/maplesat/core/Solver.cc
    patching file solvers/maplesat/core/Solver.h
    patching file solvers/maplesat/core/SolverTypes.h
    patching file solvers/maplesat/mtl/Alg.h
    patching file solvers/maplesat/mtl/Alloc.h
    patching file solvers/maplesat/mtl/Heap.h
    patching file solvers/maplesat/mtl/IntTypes.h
    patching file solvers/maplesat/mtl/Map.h
    patching file solvers/maplesat/mtl/Queue.h
    patching file solvers/maplesat/mtl/Sort.h
    patching file solvers/maplesat/mtl/Vec.h
    patching file solvers/maplesat/mtl/XAlloc.h
    patching file solvers/maplesat/utils/Options.cc
    patching file solvers/maplesat/utils/Options.h
    patching file solvers/maplesat/utils/ParseUtils.h
    patching file solvers/maplesat/utils/System.cc
    patching file solvers/maplesat/utils/System.h
    compiling maplesat
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:23:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing minicard
    not downloading solvers/minicard.tar.gz since it exists locally
    extracting solvers/minicard.tar.gz
    adapting minicard's files
    patching minicard
    patching file solvers/minicard/Makefile
    patching file solvers/minicard/core/Solver.cc
    patching file solvers/minicard/core/Solver.h
    patching file solvers/minicard/core/SolverTypes.h
    patching file solvers/minicard/mtl/Alg.h
    patching file solvers/minicard/mtl/Alloc.h
    patching file solvers/minicard/mtl/Heap.h
    patching file solvers/minicard/mtl/IntTypes.h
    patching file solvers/minicard/mtl/Map.h
    patching file solvers/minicard/mtl/Queue.h
    patching file solvers/minicard/mtl/Sort.h
    patching file solvers/minicard/mtl/Vec.h
    patching file solvers/minicard/mtl/XAlloc.h
    patching file solvers/minicard/utils/Options.cc
    patching file solvers/minicard/utils/Options.h
    patching file solvers/minicard/utils/ParseUtils.h
    patching file solvers/minicard/utils/System.cc
    patching file solvers/minicard/utils/System.h
    compiling minicard
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:28:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing minisat22
    not downloading solvers/minisat22.tar.gz since it exists locally
    extracting solvers/minisat22.tar.gz
    adapting minisat22's files
    patching minisat22
    patching file solvers/minisat22/Makefile
    patching file solvers/minisat22/core/Solver.cc
    patching file solvers/minisat22/core/Solver.h
    patching file solvers/minisat22/core/SolverTypes.h
    patching file solvers/minisat22/mtl/Alg.h
    patching file solvers/minisat22/mtl/Alloc.h
    patching file solvers/minisat22/mtl/Heap.h
    patching file solvers/minisat22/mtl/IntTypes.h
    patching file solvers/minisat22/mtl/Map.h
    patching file solvers/minisat22/mtl/Queue.h
    patching file solvers/minisat22/mtl/Sort.h
    patching file solvers/minisat22/mtl/Vec.h
    patching file solvers/minisat22/mtl/XAlloc.h
    patching file solvers/minisat22/utils/Options.cc
    patching file solvers/minisat22/utils/Options.h
    patching file solvers/minisat22/utils/ParseUtils.h
    patching file solvers/minisat22/utils/System.cc
    patching file solvers/minisat22/utils/System.h
    compiling minisat22
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:21:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    preparing minisatgh
    not downloading solvers/minisatgh.zip since it exists locally
    extracting solvers/minisatgh.zip
    adapting minisatgh's files
    patching minisatgh
    patching file solvers/minisatgh/Makefile
    patching file solvers/minisatgh/core/Solver.cc
    patching file solvers/minisatgh/core/Solver.h
    patching file solvers/minisatgh/core/SolverTypes.h
    patching file solvers/minisatgh/mtl/Alg.h
    patching file solvers/minisatgh/mtl/Alloc.h
    patching file solvers/minisatgh/mtl/Heap.h
    patching file solvers/minisatgh/mtl/IntMap.h
    patching file solvers/minisatgh/mtl/IntTypes.h
    patching file solvers/minisatgh/mtl/Map.h
    patching file solvers/minisatgh/mtl/Queue.h
    patching file solvers/minisatgh/mtl/Rnd.h
    patching file solvers/minisatgh/mtl/Sort.h
    patching file solvers/minisatgh/mtl/Vec.h
    patching file solvers/minisatgh/mtl/XAlloc.h
    patching file solvers/minisatgh/utils/Options.cc
    patching file solvers/minisatgh/utils/Options.h
    patching file solvers/minisatgh/utils/ParseUtils.h
    patching file solvers/minisatgh/utils/System.cc
    patching file solvers/minisatgh/utils/System.h
    compiling minisatgh
    c++ -std=c++11 -fPIC -Wall -Wno-deprecated -fno-strict-aliasing -I.. -O3 -DNDEBUG -c core/Solver.cc -o core/Solver.o
    core/Solver.cc:21:18: fatal error: math.h: No such file or directory
     #include <math.h>
                      ^
    compilation terminated.
    make: *** [core/Solver.o] Error 1
    running build_py
    creating build
    creating build/lib.macosx-10.7-x86_64-3.6
    creating build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/pb.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/_fileio.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/formula.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/__init__.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/solvers.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    copying pysat/card.py -> build/lib.macosx-10.7-x86_64-3.6/pysat
    creating build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/lbx.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/musx.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/hitman.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/rc2.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/__init__.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/fm.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/mcsls.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/lsu.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/genhard.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/sudoku.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/hornify.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    copying examples/usage.py -> build/lib.macosx-10.7-x86_64-3.6/pysat/examples
    running build_ext
    building 'pycard' extension
    creating build/temp.macosx-10.7-x86_64-3.6
    creating build/temp.macosx-10.7-x86_64-3.6/cardenc
    /usr/bin/clang -Wno-unused-result -Wsign-compare -Wunreachable-code -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -Icardenc -I/Users/ftoffano/anaconda3/envs/checkAAE/include/python3.6m -c cardenc/pycard.cc -o build/temp.macosx-10.7-x86_64-3.6/cardenc/pycard.o -std=c++11 -Wall -Wno-deprecated --stdlib=libc++
    g++ -bundle -undefined dynamic_lookup -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -arch x86_64 build/temp.macosx-10.7-x86_64-3.6/cardenc/pycard.o -lc++ -o build/lib.macosx-10.7-x86_64-3.6/pycard.cpython-36m-darwin.so
    building 'pysolvers' extension
    creating build/temp.macosx-10.7-x86_64-3.6/solvers
    /usr/bin/clang -Wno-unused-result -Wsign-compare -Wunreachable-code -DNDEBUG -g -fwrapv -O3 -Wall -Wstrict-prototypes -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -I/Users/ftoffano/anaconda3/envs/checkAAE/include -arch x86_64 -Isolvers -I/Users/ftoffano/anaconda3/envs/checkAAE/include/python3.6m -c solvers/pysolvers.cc -o build/temp.macosx-10.7-x86_64-3.6/solvers/pysolvers.o -std=c++11 -Wall -Wno-deprecated --stdlib=libc++ -DWITH_GLUCOSE30 -DWITH_GLUCOSE41 -DWITH_LINGELING -DWITH_MAPLECHRONO -DWITH_MAPLECM -DWITH_MAPLESAT -DWITH_MINICARD -DWITH_MINISAT22 -DWITH_MINISATGH
    g++ -bundle -undefined dynamic_lookup -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -L/Users/ftoffano/anaconda3/envs/checkAAE/lib -arch x86_64 -arch x86_64 build/temp.macosx-10.7-x86_64-3.6/solvers/pysolvers.o -Lsolvers/glucose30 -Lsolvers/glucose41 -Lsolvers/lingeling -Lsolvers/maplechrono -Lsolvers/maplecm -Lsolvers/maplesat -Lsolvers/minicard -Lsolvers/minisat22 -Lsolvers/minisatgh -lglucose30 -lglucose41 -llingeling -lmaplechrono -lmaplecm -lmaplesat -lminicard -lminisat22 -lminisatgh -lc++ -o build/lib.macosx-10.7-x86_64-3.6/pysolvers.cpython-36m-darwin.so
    ld: library not found for -lglucose30
    collect2: error: ld returned 1 exit status
    error: command 'g++' failed with exit status 1
    ----------------------------------------
ERROR: Command "/Users/ftoffano/anaconda3/envs/checkAAE/bin/python -u -c 'import setuptools, tokenize;__file__='"'"'/private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-install-rasrq7ep/python-sat/setup.py'"'"';f=getattr(tokenize, '"'"'open'"'"', open)(__file__);code=f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record /private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-record-1vq9z_76/install-record.txt --single-version-externally-managed --compile" failed with error code 1 in /private/var/folders/49/w219y_sn7pzbc6m4_x05lxz00000gp/T/pip-install-rasrq7ep/python-sat/