The letter

One letter a week, in your inbox.

The week's signal, what shipped, what is worth running tonight, and the editor's note. No tracking, no ads, nothing else.

We keep your address, your language and the date you joined, nothing else. Every letter has a one-click unsubscribe link that deletes the record.

← Accept All   Archive
OCaml PlanetLanguages

Implementing SAT in OCaml Part 5

September 18

A hand-written C stub binding to Z3, run against the same difference-logic benchmarks as the from-scratch solver, and where it falls over.

Read at OCaml Planet ↗

More from OCaml Planet on Accept All

More from OCaml Planet on Accept All.