mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
missing file
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
c5f1f8ba59
commit
561522f882
8
src/shell/lp_frontend.h
Normal file
8
src/shell/lp_frontend.h
Normal file
|
@ -0,0 +1,8 @@
|
|||
/*
|
||||
Copyright (c) 2013 Microsoft Corporation. All rights reserved.
|
||||
Released under Apache 2.0 license as described in the file LICENSE.
|
||||
|
||||
Author: Lev Nachmanson
|
||||
*/
|
||||
#pragma once
|
||||
unsigned read_mps_file(char const * mps_file_name);
|
Loading…
Reference in a new issue