satsyn - Combine 3SAT constructions
satsyn - Combine 3SAT constructions

1. Now the 3SAT instance is passed into the functions that construct the
   system.
  c. satsyn.c  sat3_XnSys() sat3_ring_XnSys() main()

2. Automatically run minisat to say if the formula is satisfiable.
  a. satsyn.c
    + dump_dimacs_CnfFmla()
    + load_dimacs_result()
    + extl_solve_CnfFmla()

3. Though the ring version may be bugged, functions are added to provide
   some good rules to help make a strongly stabilizing protocol given a
   satisfying valuation of the 3SAT variables.
  a. satsyn.c  sat3_soln_XnSys() sat3_ring_soln_XnSys()

grencez/lace,grencez/lace