Robert O'Callahan e0ae7b7af4 Remove .c_str() calls from log()/log_error() ...

There are some leftovers, but this is an easy regex-based approach that removes most of them.

2025-09-11 20:59:37 +00:00

..

aiger.cc

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00

Makefile.inc

Add write_xaiger

2019-02-11 15:18:42 -08:00

xaiger.cc

Remove .c_str() calls from log()/log_error()

2025-09-11 20:59:37 +00:00