Skip to content
forked from niklasso/minisat

A minimalistic and high-performance SAT solver

License

Notifications You must be signed in to change notification settings

chuqingG/minisat

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

安装

# 定义安装路径,这里默认设置为在WSL中进行测试的配置,是与该仓库平级的某个目录的完整表示
# 当您在本机进行测试时请先修改prefix
make config prefix=$YOUR_INSTALL_PATH
make install 
  • make distclean:清空make config产生的配置文件
  • make uninstall:清空build目录和安装目录下的所有文件

如果并非/,/usr,/usr/local等安装路径,

# 在~/.bashrc中编辑
export PATH=$PATH:($YOUR_INSTALL_PATH)/bin
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:($YOUR_INSTALL_PATH)/lib

# 更新配置
source ~/.bashrc

About

A minimalistic and high-performance SAT solver

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 93.3%
  • Makefile 4.6%
  • CMake 1.3%
  • C 0.8%