Lucas Bang

Results 2 comments of Lucas Bang

Hello, I would also really like to use `isl.Set.card`. I tried running the script above, but it dot not work for me. I get the following error: checking for llvm-config......

Just got back from vacation and tried this out. After a little fiddling with what I had already done and then using the updated scripts, it works! Many thanks!