statically link picosat with quantor