Standalone version of libambit from openambit project