10 lines
264 B
Markdown
10 lines
264 B
Markdown
---
|
|
date: "2017-07-26"
|
|
title: "Civilisation"
|
|
summary: "SAT solver, using the Davis-Putnam-Logemann-Loveland (DPLL) algorithm."
|
|
image_preview: "dpll.png"
|
|
tags: ["algorithms","sat","logic"]
|
|
external_link: "https://github.com/dlozeve/Civilisation-hs"
|
|
math: true
|
|
---
|
|
|