?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
parker/count_solutions.cc: fix treatment of existentially quantified variables
[barvinok.git] / barvinok / set.h.broken
blob1ae7ef70339d7db151c1e51865c141944483ca25
1 #define negate STL_NEGATE
2 #include <set>
3 #undef negate
lattice point enumeration library