API--->mongodb----->networkX----->pycosat