 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.

azonenberg/yosys,cliffordwolf/yosys,YosysHQ/yosys,antmicro/yosys,cliffordwolf/yosys,azonenberg/yosys,SymbiFlow/yosys,cliffordwolf/yosys,azonenberg/yosys,swallat/yosys,swallat/yosys,swallat/yosys,YosysHQ/yosys,SymbiFlow/yosys,swallat/yosys,swallat/yosys,antmicro/yosys,azonenberg/yosys,SymbiFlow/yosys,azonenberg/yosys,azonenberg/yosys,cliffordwolf/yosys,YosysHQ/yosys,cliffordwolf/yosys,azonenberg/yosys,swallat/yosys,YosysHQ/yosys,SymbiFlow/yosys,antmicro/yosys,azonenberg/yosys,SymbiFlow/yosys,YosysHQ/yosys,azonenberg/yosys,antmicro/yosys,cliffordwolf/yosys,antmicro/yosys,antmicro/yosys,SymbiFlow/yosys,YosysHQ/yosys,YosysHQ/yosys,swallat/yosys,SymbiFlow/yosys,swallat/yosys,cliffordwolf/yosys,SymbiFlow/yosys,antmicro/yosys,swallat/yosys,cliffordwolf/yosys,YosysHQ/yosys,cliffordwolf/yosys,antmicro/yosys