• mon : solver_bb_floating.cpp , solver_bb_mod.cpp
• Mon : solver_rr_opt.cpp , solver_bb_rr.cpp
• mon : solver_bb_rr.cpp
• Mon : solver_bb_mod.cpp , solver_bb_floating.cpp
• mon : solver_rr_opt.cpp
• Mon : solver_bb_rational.cpp
• mon : solver_bb_rational.cpp
• mon_mod : modspecial.cc
• Poly : solver_bb_floating.cpp , solver_rr_opt.cpp , solver_bb_rr.cpp , solver_bb_rational.cpp , solver_bb_mod.cpp
• typB : solver_bb_floating.cpp , solver_bb_mod.cpp , solver_bb_rr.cpp , solver_rr_opt.cpp , solver_bb_rational.cpp
• typpredicat : solver_bb_floating.cpp , solver_bb_rr.cpp , solver_rr_opt.cpp , solver_bb_mod.cpp , solver_bb_rational.cpp