SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

metasmt-devel rpm build for : openSUSE Tumbleweed. For other distributions click metasmt-devel.

Name : metasmt-devel
Version : 0.0+20191203 Vendor : obs://build_opensuse_org/devel:tools
Release : 4.11 Date : 2024-02-22 09:32:10
Group : Development/Languages/C and C++ Source RPM : metasmt-0.0+20191203-4.11.src.rpm
Size : 0.26 MB
Packager : (none)
Summary : Devel files for metasmt
Description :
Development files for metasmt library.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/x86_64

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
metasmt-devel
metasmt-devel(x86-64)
pkgconfig(metasmt)

Requires :
libmetaSMT4_0 = 0.0+20191203
metasmt = 0.0+20191203
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
stp-devel
z3-devel


Content of RPM :
/usr/include/metaSMT
/usr/include/metaSMT/API
/usr/include/metaSMT/API/Assertion.hpp
/usr/include/metaSMT/API/Assumption.hpp
/usr/include/metaSMT/API/BoolEvaluator.hpp
/usr/include/metaSMT/API/Evaluator.hpp
/usr/include/metaSMT/API/Options.hpp
/usr/include/metaSMT/BitBlast.hpp
/usr/include/metaSMT/DirectSolver_Context.hpp
/usr/include/metaSMT/Features.hpp
/usr/include/metaSMT/backend
/usr/include/metaSMT/backend/Aiger.hpp
/usr/include/metaSMT/backend/Boolector.hpp
/usr/include/metaSMT/backend/CUDD_Context.hpp
/usr/include/metaSMT/backend/CUDD_Distributed.hpp
/usr/include/metaSMT/backend/CVC4.hpp
/usr/include/metaSMT/backend/Lingeling.hpp
/usr/include/metaSMT/backend/MiniSAT.hpp
/usr/include/metaSMT/backend/PicoSAT.hpp
/usr/include/metaSMT/backend/SAT_Aiger.hpp
/usr/include/metaSMT/backend/SAT_Clause.hpp
/usr/include/metaSMT/backend/STP.hpp
/usr/include/metaSMT/backend/Yices2.hpp
/usr/include/metaSMT/backend/Z3_Backend.hpp
/usr/include/metaSMT/frontend
/usr/include/metaSMT/frontend/Array.hpp
/usr/include/metaSMT/frontend/Logic.hpp
/usr/include/metaSMT/frontend/QF_BV.hpp
/usr/include/metaSMT/frontend/QF_UF.hpp
/usr/include/metaSMT/impl
There is 43 files more in these RPM.

  
ICM