dave/brenda

Brenda is a boolean expression solver for Go AST

语言：Go · GitHub 星标：46 · Fork：5

话题：ast · boolean · boolean-algebra · boolean-expression · boolean-formulas · boolean-operations · boolean-satisfiability · go

在 GitHub 上查看原仓库