Fix stray quote

This commit is contained in:
David Greenspan
2015-04-09 19:33:17 -07:00
parent c206117c1e
commit 590446181a

View File

@@ -47,7 +47,7 @@ MiniSat](#about-minisat) for more information.
- [Logic.implies(operand1, operand2)](#logicimpliesoperand1-operand2)
- [Logic.equiv(operand1, operand2)](#logicequivoperand1-operand2)
- [Logic.exactlyOne(operands...)](#logicexactlyoneoperands)
- [Logic.atMostOne(operands...)](#logicatmostoneoperands)"
- [Logic.atMostOne(operands...)](#logicatmostoneoperands)
- [Logic.Solver](#logicsolver)
- [Logic.Solver#require(args...)](#logicsolverrequireargs)
- [Logic.Solver#forbid(args...)](#logicsolverforbidargs)