[%] Butterfly 이렇게 바꿔야 할 듯

[기괴공학도(mecheng98)]

Z3에서 영감을 얻음.

그런데 이걸 어떻게 구현하지?

아이디어 좀 으헝 .ㅅ.

[익명(175.223)]

근데 prolog나 coq는 소스파일이나 알고리즘이 공개돼있음?

[기괴공학도(mecheng98)]

Coq는 깃헙에 있음. Prolog는 모르겠음.

[기괴공학도(mecheng98)]

Prolog의 알고리듬 공개되어있음 ㅇㅇ.

[기괴공학도(mecheng98)]

ㅆㅂ 이것도 이상하네 ㅠㅠ - 훈다리 훈다리