ABAU

ABAU is a project responsible for creating CO4 - a constraint solver for constraints written in a syntactically subset of Haskell, Dilay - a 3D sculpting application and cppsat - a library for generating propositional encodings in C++11.

SoftwareLicenseFile SizeCategory
DilayGNU10 MB3D Modeling