Hacker News
- Simplifying 0install's solver with OCaml's functors http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/ 9 comments
- Simplifying 0install's solver with OCaml's functors http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/ 10 comments programming
Linked pages
- Zero Install http://0install.net/ 109 comments
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- Asynchronous Python vs OCaml - Thomas Leonard's blog http://roscidus.com/blog/blog/2013/11/28/asynchronous-python-vs-ocaml/ 7 comments
- https://cseweb.ucsd.edu/~lerner/papers/opium.pdf 6 comments
- DPLL algorithm - Wikipedia https://en.wikipedia.org/wiki/DPLL_algorithm 5 comments
Related searches:
Search whole site: site:roscidus.com
Search title: Simplifying the solver with functors - Thomas Leonard's blog
See how to search.