Nesy-Programming Code for the paper "Neuro-symbolic Learning Yielding Logical Constraints" Usage To reproduce the experimental results, Run the command sh run.sh in each task folder.