../libsciboolean-algo.la