Skip to content

wu-haoze/sat_spring2017

Folders and files

NameName
Last commit message
Last commit date

Latest commit

anwu1219anwu1219
anwu1219
and
anwu1219
May 29, 2017
9e07d48 · May 29, 2017

History

1 Commit
May 29, 2017
May 29, 2017
May 29, 2017
May 29, 2017
May 29, 2017
May 29, 2017
May 29, 2017

Repository files navigation

/python all python programs. See README file in that folder for details
/bash all bash files (only one so far..)
/minisats minisat programs modified for different testing purposes. See README
 file in that folder for details.
  /minisat_act
  /minisat_act_all
  /minisat_pick_backbone
  /minisat_var_rank
/test_cases
  /random random 3-sat formulas
    - 100 formulas with 150 vars and C-to-V ratio 4.26
    /other_samples formulas with 200 vars and 300 vars
    /results test results on the 150 var formulas. See README file in that
     folder for details.
  /industrial 100 industrial cases

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published