User Notes
______________________________________________________________________________________________________________________________
07/02/05 Deleted several extraneous files from the package positronic.util. This deletion has no effect on performance.
07/10/05 Edited positronic.satisfiability.pdf and positronic.satisfiability.doc.
07/12/05 Edited positronic.satisfiability.pdf and positronic.satisfiability.doc.
07/13/05 Deleted positronic.satisfiability.doc so as to speed the download and reduce its size.
11/13/05 Edited package extensively.
01/10/06 Edited package extensively, including moving some source files into new or different subpackages as needed. Several new data classes were added, and corresponding new demo applications were provided. This new delivery is a complete replacement of the earlier release of June 30, 2005. The .pdf documentation is still incomplete but will be updated at some future time. Please direct any questions, comments or suggestions to the author, Kerry M. Soileau at ksoileau@wt.net
All documents in this archive are Copyright 2005-2006 Positronic Software, all rights reserved. Source files may be used and reproduced provided they are intact and show attribution to the author.
SAT4J_JAVA.zip_Java solv_Sat4j_Java_WalkS_sat_sat4j
版权申诉
68 浏览量
2022-09-22
16:48:38
上传
评论
收藏 2.53MB ZIP 举报
SAT4J_JAVA.zip_Java solv_Sat4j_Java_WalkS_sat_sat4j （1593个子文件） 
Problem.class 13KB Clause.class 11KB BitStringList.class 11KB BitStringLinkedList.class 10KB PartialSolution.class 10KB BitString.class 7KB BitLinkedString.class 7KB BitStringGroup.class 5KB EquivalenceRelation.class 5KB BooleanLiteral.class 5KB BooleanVariable.class 4KB Number.class 4KB Disjunction.class 4KB MapperDemo1.class 4KB NaturalNumberList.class 4KB BitStringRelation.class 4KB Mapper.class 4KB BitStringDemo.class 4KB NaturalNumberTable.class 4KB BitTableAnderDemo.class 4KB BitTableXorerDemo.class 4KB BitTableOrerDemo.class 4KB NaturalNumberTable2.class 3KB BitTable.class 3KB BitStringAnderDemo.class 3KB BitStringXorerDemo.class 3KB BitStringOrdererDemo2.class 3KB BitStringOrerDemo.class 3KB BitStringEqualizerDemo.class 3KB ProblemDemo.class 3KB BitStringFixerDemo.class 3KB BitTableEqualizerDemo.class 3KB BitTableNoterDemo.class 3KB Base3Integer.class 3KB BitStringOrdererDemo.class 3KB NaturalNumberFactorerDemo.class 3KB BitStringFixer.class 3KB NaturalNumberIncrementer.class 3KB NaturalNumberListMembershipDemo2.class 3KB ClauseDemo.class 3KB Clauses.class 3KB BitStringUnequalizerDemo.class 3KB NaturalNumberMultiplier.class 3KB BitStringHighPopperDemo.class 3KB BitStringLowPopperDemo.class 3KB BitStringReverserDemo.class 3KB BitStringClearerDemo.class 3KB BitStringSetterDemo.class 3KB BitStringNoterDemo.class 3KB NaturalNumberMapper.class 3KB BitStringTotaler.class 3KB BitStringListMembershipperDemo2.class 3KB BitStringMapperCompositionDemo.class 3KB BitStringGroupSatisfier.class 3KB BitStringTotalerDemo.class 3KB NaturalNumber.class 3KB BitStringListSorterDemo.class 3KB BitAnderDemo.class 3KB NaturalNumberFixer.class 3KB BitStringLinkedListDemo.class 3KB BitStringMapper.class 3KB BitStringListIntersectorDemo.class 3KB BitStringListDemo.class 3KB TwoBitAdderDemo.class 3KB BitStringListIncrementerDemo.class 3KB NaturalNumberMapperInverseDemo.class 3KB NaturalNumberFromBitConverterDemo.class 3KB BitStringListIntersector.class 3KB NaturalNumberBitMultiplyDemo.class 3KB TwoWaySlidingTable.class 3KB BitStringListIncrementer.class 3KB BitStringListMembershipperDemo3.class 3KB Conjunction.class 3KB BitStringListNonmembershipperDemo.class 3KB NaturalNumberMapperCompositionDemo.class 3KB NaturalNumberAdder.class 3KB Demo1.class 3KB BitStringListMembershipperDemo1.class 3KB MapperDemo2.class 3KB NaturalNumberListMembershipDemo1.class 3KB NaturalNumberAdderDemo.class 3KB BitStringListDisjointUnionerDemo.class 2KB BitStringListEqualizerDemo.class 2KB BitStringListReverserDemo.class 2KB BitStringListUniquerDemo.class 2KB ConjunctionDemo.class 2KB Demo3.class 2KB BitStringListUnionerDemo.class 2KB BitStringListSorter.class 2KB TwoWaySlidingTableOfIntegers.class 2KB NaturalNumberXorerDemo.class 2KB NaturalNumberAnderDemo.class 2KB NaturalNumberBitStringEqualizerDemo.class 2KB NaturalNumberOrerDemo.class 2KB BitXnorerDemo.class 2KB NaturalNumberMultiplierDemo.class 2KB BitStringListSubsetterDemo.class 2KB BitXorerDemo.class 2KB Reflexivizer.class 2KB BitStringOrderer.class 2KB共 1593 条
- 1
- 2
- 3
- 4
- 5
- 6
- 16
评论0