# EasySAT

**Repository Path**: wzh2021/EasySAT

## Basic Information

- **Project Name**: EasySAT
- **Description**: Source code:
https://github.com/shaowei-cai-group/EasySAT
- **Primary Language**: C++
- **License**: MIT
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2023-08-17
- **Last Updated**: 2024-05-31

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# EasySAT: A Simple CDCL SAT Solver

Developer: Zhihan Chen, Xindi Zhang

Homepage: https://github.com/shaowei-cai-group/EasySAT

E-Mail: zhangxd@ios.ac.cn

License: MIT

Environment: Linux with C++11

## How to Build

`make`


## How to use

`./EasySAT <cnf_file>`

The standard `.cnf` input format and the output format can be seen [here](http://www.satcompetition.org/2009/format-benchmarks2009.html)