3 Commits

Author	SHA1	Message	Date
Emil J. Tywoniak	f213a34427	Remove FHS dependency by replacing /bin/bash with /usr/bin/env bash everywhere	2026-04-22 10:39:19 +02:00
Clifford Wolf	a44cc7a3d1	Added $assert/$assume support to AIGER back-end	2016-12-03 13:20:29 +01:00
Clifford Wolf	105b6374ae	Added examples/aiger/	2016-12-01 13:42:17 +01:00