Now we can use maxsat.
6-14-19. Now integrated gurobi for lower bound solution. Please make sure you have a valid gurobi license to use our software.
12-12-19. Updated enumeration program to allow sublattice merging, and definition of anion sites for an_frame matcher.