z3-z3-4.12.6.src.shell.datalog_frontend.h Maven / Gradle / Ivy
/*++
Copyright (c) 2006 Microsoft Corporation
Module Name:
datalog_frontend.h
Abstract:
Author:
Leonardo de Moura (leonardo) 2010-05-18.
Revision History:
--*/
#pragma once
unsigned read_datalog(char const * file);