GitHub repository: pepega007xd/Astral
Primary language: OCaml
Description: Decision procedure for strong-separation logic