Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I use Python to generate DPLL and likewise with MiniZinc. It’s no different from SQL: there’s something of an impedance mismatch that’s already felt in eg Sympy.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: