swf-projects/symbolic-sat @ b8f18e9ea927b98a1bf4a1578afbc7f2e55c56e6

Без опису

Samuel W. Flint b8f18e9ea9 Update bibliography, date		7 роки тому
.gitignore	66d3e690da Update gitignore	7 роки тому
bibliography.bib	b8f18e9ea9 Update bibliography, date	7 роки тому
symbolic-sat.org	b8f18e9ea9 Update bibliography, date	7 роки тому