You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
"""Satisfiability and Propositional LogicConsider the following constraints:– Alice can only meet either on Monday, Wednesday or Thursday– Bob cannot meet on Wednesday– Carol cannot meet on Friday– Dave cannot meet neither on Tuesday nor on Thursday– Question: When can the meeting take place?- Encode then into the following Boolean formula: (Mon ∨ Wed ∨ Thu) ∧ (¬Wed) ∧ (¬Fri) ∧ (¬Tue ∧ ¬Thu)The meeting must take place on Monday"""importloggingfrompatternmatchingimport*logging.basicConfig(format='%(message)s', level=logging.DEBUG)
options= [
'monday', 'wednesday', 'thursday', 'X',
'monday', 'tuesday', 'thursday', 'friday', 'X',
'monday', 'tuesday', 'wednesday', 'thursday', 'X',
'monday', 'wednesday', 'friday', 'X',
True,
]
constraints= (
padding+anyone*group('alice') +padding+'X'+padding+anyone*group('bob') +padding+'X'+padding+anyone*group('carol') +padding+'X'+padding+anyone*group('dave') +padding+'X'+like(lambda_: bound.alice==bound.bob==bound.carol==bound.dave)
)
assertmatch(options, constraints) # <-- FAILS! and I don't know why :(
The text was updated successfully, but these errors were encountered:
This is a fine test case but lousy example. It is little more than combinatorial brute force for something that is easily solved in your head. It’s also embarrassingly slow. This may be possible but it’s not worth advertising.
The text was updated successfully, but these errors were encountered: