toysolver-0.7.0: app/toysat-ipasir/ipasir.map

{
  global:
    extern "C" {
      ipasir_*;
    };

  local:
    *;
};