๋ณธ๋ฌธ์œผ๋กœ ๊ฑด๋„ˆ๋›ฐ๊ธฐ
buildradar
Sign in

potassco/clingo

@potassco

๐Ÿฆ‰ ๋…ผ๋ฆฌ ํ”„๋กœ๊ทธ๋žจ์„ ์œ„ํ•œ ๊ทธ๋ผ์šด๋”(grounder) ๋ฐ ์†”๋ฒ„(solver).

โ†— GitHub์—์„œ ์—ด๊ธฐ
์Šคํƒ€
830
ํฌํฌ
103
์–ธ์–ด
C++
๋ผ์ด์„ ์Šค
MIT
๋งˆ์ง€๋ง‰ ํ‘ธ์‹œ
2์ผ ์ „
C++logic-programminganswer-set-programmingdeclarative-programming

๊ด€๋ จ ์ธํ…” (0)

์•„์ง ๊ด€๋ จ ์ธํ…”์ด ์—†์Šต๋‹ˆ๋‹ค

์ด ์ €์žฅ์†Œ๋Š” radar๊ฐ€ ์ถ”์ ํ•˜๋Š” ์–ด๋–ค ์†Œ์Šค์—๋„ ์•„์ง ๋“ฑ์žฅํ•˜์ง€ ์•Š์•˜์Šต๋‹ˆ๋‹ค. ์ˆ˜์ง‘๊ธฐ๋Š” ์˜ˆ์•ฝ์— ๋”ฐ๋ผ ์‹คํ–‰๋ฉ๋‹ˆ๋‹คโ€”โ€”์ด ์ €์žฅ์†Œ๋ฅผ ๋‹ค๋ฃจ๊ฒŒ ๋˜๋ฉด ๋‹ค์‹œ ํ™•์ธํ•˜์„ธ์š”.