GitHub repository: muraliadithya/vdp
Primary language: SMT
Description: One-shot solution of visual discrimination puzzles