souffle-lang/souffle
@souffle-langSoufflé는 Horn 절에서 분석을 만드는 도구 설계자를 위한 Datalog의 변형입니다. Soufflé는 논리 사양에서 네이티브 병렬 C++ 프로그램을 생성합니다.
스타
1,155
포크
242
언어
C++
라이선스
UPL-1.0
마지막 푸시
2개월 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.