```ruby
# satsolver.rb
#
# picks up Ruby extensions for satsolver-bindings-ruby
#
# pick up built version if running tests from source
# native
require 'satsolver.so'

require 'satsolver/covenant'
require 'satsolver/dump'
require 'satsolver/job'
require 'satsolver/request'
require 'satsolver/ruleinfo'
```

Remove includes of obsoleted files
user
```ruby
# satsolver.rb
#
# picks up Ruby extensions for satsolver-bindings-ruby
#
# pick up built version if running tests from source
# native
require 'satsolver.so'

require 'satsolver/covenant'
require 'satsolver/dump'
```
assistant