GitHub repository: mihasighi/spen
Primary language: C
Description: SeParation logic ENtailment