lp2sat 1.10 — A Tool for Translating Normal Logic Programs into SAT

Reference:

Tomi Janhunen. lp2sat 1.10 — A tool for translating normal logic programs into SAT. http://www.tcs.hut.fi/Software/lp2sat/, 2006. Computer Program.

Suggested BibTeX entry:

@misc{LP2SAT06,
    author = {Tomi Janhunen},
    howpublished = {http://www.tcs.hut.fi/Software/lp2sat/},
    note = {Computer Program},
    title = {lp2sat 1.10 --- {A} Tool for Translating Normal Logic Programs into {SAT}},
    year = {2006},
}